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/minerva/pages
History
Bartosz Dziewoński 2608a6c66b ve.ui.MWParameterPage: Remove dead CSS 
Duplicates OOjs UI's 'invalid' flag styles.

Bug: T97516
Change-Id: Ic96c521ea07e02a4f3511550b0db09cf72111fc5
2015-04-30 22:19:12 +02:00
..
ve.ui.MWParameterPage.css ve.ui.MWParameterPage: Remove dead CSS 2015-04-30 22:19:12 +02:00