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
Bartosz Dziewoński e1635fdc52 Update custom styles for format menu after OOUI changes 
Bug: T193098
Change-Id: I00d28f16b03a31ecda1dc57050945e98e8eb37e8
2018-04-26 01:48:28 +02:00
..
ve.ui.MWFormatTool.css Update custom styles for format menu after OOUI changes 2018-04-26 01:48:28 +02:00