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
ve.ui.MWEducationPopupTool.css
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
ve.ui.MWPopupTool.css