wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-28 16:20:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve/ui
History
Reedy 7c46bf77b8 Losslessly compress png images 
Change-Id: Ie0b52dcb75157a35468a1cf208f85a5adc5fc98e
2012-08-18 23:12:44 +01:00
..
inspectors VE multiSuggest bug fixes. 2012-08-17 15:13:19 -07:00
styles Losslessly compress png images 2012-08-18 23:12:44 +01:00
tools Refactor ve.js utilities and improve documentation 2012-08-12 20:32:45 +02:00
ve.ui.Context.js Added MW page suggestion functionality. 2012-08-17 14:12:26 -07:00
ve.ui.Inspector.js Added MW page suggestion functionality. 2012-08-17 14:12:26 -07:00
ve.ui.js Make use of new jshint options 2012-08-10 02:50:30 +02:00
ve.ui.Menu.js Make use of new jshint options 2012-08-10 02:50:30 +02:00
ve.ui.Tool.js After much research on error objects, native = good, custom = bad 2012-08-08 10:48:53 -07:00
ve.ui.Toolbar.js Refactor ve.js utilities and improve documentation 2012-08-12 20:32:45 +02:00