wikimedia/mediawiki-extensions-VisualEditor

15122 commits 162 branches 1 tag 190 MiB

Author	SHA1	Message	Date
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

Author

SHA1

Message

Date

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

Renamed from modules/ve-mw/ui/themes/vector/ve.ui.MWFormatTool.css (Browse further)

1 commit