mediawiki-extensions-Visual.../modules/ve-mw/ui/styles/tools
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
..
images Remove execute mode from non-executable 2017-08-24 10:57:25 -04:00
ve.ui.MWEducationPopupTool.css doc: Bump copyright year 2018-01-03 17:45:07 +00:00
ve.ui.MWFormatTool-minerva.css Move styles that are not theme-wide out of themes/ 2018-10-23 05:04:27 +02:00
ve.ui.MWFormatTool-vector.css Move styles that are not theme-wide out of themes/ 2018-10-23 05:04:27 +02:00
ve.ui.MWLinkInspectorTool.css doc: Bump copyright year 2018-01-03 17:45:07 +00:00
ve.ui.MWPopupTool.css Replace Bugzilla numbers with Phab numbers 2018-08-09 15:11:27 +01:00