wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-17 03:18:48 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/styles/pages
History
Bartosz Dziewoński aa137ef2ad Move styles that are not theme-wide out of themes/ 
Reasons why these files should not be in a directory named "themes/":
* They are specific to MediaWiki skins, not OOUI themes
* They are specific to one module, rather than affecting many widgets

The new locations/filenames are consistent with other modules that
have skin-specific styles.

Note that we have one more themes/ directory elsewhere in this repo
(and another in VE core) and that is okay.

Bug: T96704
Change-Id: I70bb61e339aeccb3afea657f665785ceaa091777
2018-10-23 05:04:27 +02:00
..
ve.ui.MWParameterPage-default.css Move styles that are not theme-wide out of themes/ 2018-10-23 05:04:27 +02:00
ve.ui.MWParameterPage-minerva.css Move styles that are not theme-wide out of themes/ 2018-10-23 05:04:27 +02:00
ve.ui.MWParameterPage.css
ve.ui.MWTemplatePage-default.css Move styles that are not theme-wide out of themes/ 2018-10-23 05:04:27 +02:00
ve.ui.MWTransclusionContentPage.css