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 b6ad119f15 Merge "Remove unused $popupOverlay"
2015-02-24 19:15:28 +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 Remove unused $popupOverlay 2015-02-24 18:19:07 +00:00
inspectors build: Bump copyright notices to 2015 2015-01-12 20:34:19 -08:00
pages Remove unused $popupOverlay 2015-02-24 18:19:07 +00:00
styles MWCategoryItemWidget: Update CSS for OOUI changes 2015-02-07 19:04:50 +00:00
themes build: Bump copyright notices to 2015 2015-01-12 20:34:19 -08:00
tools Load mw.feedback on demand 2015-02-24 00:30:03 +00:00
widgets Merge "Adjust Queue and Provider to work with generalized parents" 2015-02-24 18:42:40 +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