wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 10:35:48 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/themes
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
..
default/pages doc: Bump copyright year 2018-01-03 17:45:07 +00:00
minerva/pages doc: Bump copyright year 2018-01-03 17:45:07 +00:00
vector Update custom styles for format menu after OOUI changes 2018-04-26 01:48:28 +02:00