wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-27 04:06:51 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/styles
History
Ed Sanders 4a3cc06ac5 Increase line height in beta warning 
See bug for screenshots.

Bug: 53045
Change-Id: Ia4e97f42786cb8ced9ab1c94b1cce9f4abd17750
2013-08-19 20:22:18 +01:00
..
images Alien extensions 2013-08-08 14:27:49 +08:00
ve.ui.Icons-raster.css Alien extensions 2013-08-08 14:27:49 +08:00
ve.ui.Icons-vector.css Alien extensions 2013-08-08 14:27:49 +08:00
ve.ui.MWDialog.css Increase line height in beta warning 2013-08-19 20:22:18 +01:00
ve.ui.MWInspector.css Alien extensions 2013-08-08 14:27:49 +08:00
ve.ui.Tool.css The great directory split of 2013 2013-07-02 20:51:38 -07:00
ve.ui.Widget.css Rename 'CategoryList' to 'Category' for consistency 2013-07-25 13:34:25 +01:00