wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-25 06:46:26 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui
History
jenkins-bot 73e05df441 Merge "MWLinkTargetInputWidget: Check title is valid in MediaWiki"
2015-01-31 03:13:36 +00:00
..
actions build: Bump copyright notices to 2015 2015-01-12 20:34:19 -08:00
commands build: Bump copyright notices to 2015 2015-01-12 20:34:19 -08:00
dialogs Merge "Use padding on save dialog panels so scrollbar is correctly positioned" 2015-01-31 02:31:02 +00:00
inspectors build: Bump copyright notices to 2015 2015-01-12 20:34:19 -08:00
pages Don't add __STATICREDIRECT__ whenever the user sets up redirect details 2015-01-19 23:32:55 +00:00
styles Use padding on save dialog panels so scrollbar is correctly positioned 2015-01-30 18:14:07 -08:00
themes build: Bump copyright notices to 2015 2015-01-12 20:34:19 -08:00
tools build: Bump copyright notices to 2015 2015-01-12 20:34:19 -08:00
widgets Merge "MWLinkTargetInputWidget: Check title is valid in MediaWiki" 2015-01-31 03:13:36 +00:00
ve.ui.MWCommandRegistry.js build: Bump copyright notices to 2015 2015-01-12 20:34:19 -08:00
ve.ui.MWMobileContext.js build: Bump copyright notices to 2015 2015-01-12 20:34:19 -08:00
ve.ui.MWMobileSurface.js build: Bump copyright notices to 2015 2015-01-12 20:34:19 -08:00
ve.ui.MWSequenceRegistry.js build: Bump copyright notices to 2015 2015-01-12 20:34:19 -08:00