wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-12 17:18:41 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui
History
jenkins-bot 1c099f4184 Merge "Always initialize data before use"
2014-07-16 00:52:09 +00:00
..
dialogs Always initialize data before use 2014-07-15 15:49:51 -07:00
inspectors Merge "Always initialize data before use" 2014-07-16 00:52:09 +00:00
pages Merge "MWTitleInputWidget: Remove prefixColon option and use relative title instead" 2014-07-15 22:10:42 +00:00
styles Update VE core submodule to master (f2277ea) 2014-07-14 23:24:45 +00:00
themes
tools Update VE core submodule to master (f2277ea) 2014-07-14 23:24:45 +00:00
widgets Merge "MWTitleInputWidget: Remove prefixColon option and use relative title instead" 2014-07-15 22:10:42 +00:00
ve.ui.MWCommandRegistry.js Merge Media Edit and Media Insert dialogs 2014-07-01 17:30:51 -07:00