wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-30 00:55:00 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/themes/vector
History
Trevor Parscal b00999c7a1 Style the FormatTool to be more like Vector's new look 
But only for Vector; the VE-core default is more appropriate for Monobook.

Bug: 63540
Change-Id: I32e8da9dd071d0a9ba7cae58960a504010e1c4a2
2014-04-30 17:40:44 -07:00
..
ve.ui.MWFormatTool.css Style the FormatTool to be more like Vector's new look 2014-04-30 17:40:44 -07:00