wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-30 05:36:48 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/styles
History
jenkins-bot feff1fbc24 Merge "Improve welcome dialog support for large fonts"
2013-09-04 23:02:05 +00:00
..
images Make tools generic and add fancy tool groups 2013-09-03 11:27:39 -07:00
ve.ui.Icons-raster.css Make tools generic and add fancy tool groups 2013-09-03 11:27:39 -07:00
ve.ui.Icons-vector.css Make tools generic and add fancy tool groups 2013-09-03 11:27:39 -07:00
ve.ui.MWDialog.css Improve welcome dialog support for large fonts 2013-09-04 22:58:52 +00:00
ve.ui.MWInspector.css Alien extensions 2013-08-08 14:27:49 +08:00
ve.ui.Widget.css Rename 'CategoryList' to 'Category' for consistency 2013-07-25 13:34:25 +01:00