wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-25 23:05:35 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui
History
jenkins-bot 2ab168efe7 Merge "MWMediaSearchWidget: Use json/jsonp for local/foreign api respectively"
2014-07-30 17:13:42 +00:00
..
dialogs Update VE core submodule to master (61dea59) 2014-07-29 17:15:35 -07:00
inspectors Actually document .static.nodeModel in MWExtensionInspector 2014-07-23 13:49:39 -07:00
pages Remove unused CSS classes 2014-07-28 19:43:35 +01:00
styles Remove unused CSS classes 2014-07-28 19:43:35 +01:00
themes Hide unsupported UI elements in references on mobile 2014-05-21 16:18:08 -07:00
tools Merge "test: Move mw into the global list of globals for VE-MW" 2014-07-23 00:02:22 +00:00
widgets MWMediaSearchWidget: Use json/jsonp for local/foreign api respectively 2014-07-29 23:55:36 +00:00
ve.ui.MWCommandRegistry.js Merge Media Edit and Media Insert dialogs 2014-07-01 17:30:51 -07:00