wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-16 02:51:50 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/styles
History
jenkins-bot a7762b66a5 Merge "Adjust to ooui's show/hide css change"
2015-02-04 17:03:45 +00:00
..
dialogs Merge "Adjust to ooui's show/hide css change" 2015-02-04 17:03:45 +00:00
images Transform the search widget to show image details 2015-01-16 13:22:54 +00:00
inspectors build: Bump copyright notices to 2015 2015-01-12 20:34:19 -08:00
pages 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 MWMediaDialog: Make the dialog bigger when searching for media to insert 2015-01-16 16:29:26 -08:00
ve.ui.Icons.css Merge "Transform the search widget to show image details" 2015-01-16 13:26:25 +00:00