wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-26 19:56:49 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/themes/minerva
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
..
pages ve.ui.MWParameterPage: Remove dead CSS 2015-04-30 22:19:12 +02:00
ve.ui.MobileWindowManager.css Correct display for full-screen dialogs in Mobile VE 2015-04-20 17:15:19 -07:00