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/themes
History
Bartosz Dziewoński bba27be62e ve.ui.MWSaveDialog: Fix border radius styles after changes in OOUI 
The OOUI selector has changed and we need to update ours, as we're losing the specificity fight.

Change-Id: I294c1c5480a335431542e10bcff234499001090d
2019-04-16 17:35:56 +02:00
..
apex.css ve.ui.MWSaveDialog: Fix border radius styles after changes in OOUI 2019-04-16 17:35:56 +02:00
wikimediaui.css ve.ui.MWSaveDialog: Fix border radius styles after changes in OOUI 2019-04-16 17:35:56 +02:00