wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 18:39:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui
History
jenkins-bot d7c80d4cf2 Merge "MWMediaDialog: Make the dialog bigger when searching for media to insert"
2015-01-20 19:52:11 +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 MWMediaDialog: Make the dialog bigger when searching for media to insert 2015-01-16 16:29:26 -08: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 MWMediaDialog: Make the dialog bigger when searching for media to insert 2015-01-16 16:29:26 -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 "MWMediaDialog: Make the dialog bigger when searching for media to insert" 2015-01-20 19:52:11 +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