wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-29 08:34:54 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui
History
jenkins-bot a9b757a174 Merge "MWTitleInputWidget: Remove prefixColon option and use relative title instead"
2014-07-15 22:10:42 +00:00
..
dialogs Close the citation dialog after the apply changes button is clicked 2014-07-14 17:09:24 -07:00
inspectors Merge "ve.ui.MWExtensionInspector: Prevent from setting impossible content" 2014-07-15 22:09:06 +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