diff options
| author | Volker E <volker.e@wikimedia.org> | 2024-01-30 23:30:54 +0100 |
|---|---|---|
| committer | Volker E <volker.e@wikimedia.org> | 2024-01-30 23:30:54 +0100 |
| commit | bb566555b353e3734d9563007c6ba951f7ca87c6 (patch) | |
| tree | c2d06aa1fbdc81eb4e2a52715c336185ca867d5a /includes/composer/VersionChecker.php | |
| parent | 8db391e4fc9e550e0a43415b49234e794af49dcd (diff) | |
| download | mediawikicore-bb566555b353e3734d9563007c6ba951f7ca87c6.tar.gz mediawikicore-bb566555b353e3734d9563007c6ba951f7ca87c6.zip | |
mediawiki.less: Amend neutral `@border-color-muted` value
Following-up to Idcfdee458301, the neutral colors should not feature
Wikimedia User-Interface colors as they are fallbacks for custom
MediaWiki skins outside of Wikimedia.
Change-Id: I4cbf2c6754f1ee75c7b976651c3234d3202af8d2
Diffstat (limited to 'includes/composer/VersionChecker.php')
0 files changed, 0 insertions, 0 deletions