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/vector
History
Bartosz Dziewoński 89b79bb373 Update for changes in OOjs UI (Ib40e3477) 
Depends on I175fe468 in VisualEditor core.

Bug: T91152
Change-Id: I08c80cec84242eabd3da5bd3c829022df3e21636
2015-04-23 13:52:12 +02:00
..
ve.ui.MWFormatTool.css Update for changes in OOjs UI (Ib40e3477) 2015-04-23 13:52:12 +02:00