diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2024-01-31 02:20:23 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2024-01-31 02:20:23 +0000 |
| commit | a0e1796f37ed201dbae656ef21e1ec93fb5121b4 (patch) | |
| tree | e9a18b890d0300d0e8132c812690c834ab1c2053 /includes/composer/VersionChecker.php | |
| parent | ccd35e3b01458670cfaa5befe675a6220ed58213 (diff) | |
| parent | bb566555b353e3734d9563007c6ba951f7ca87c6 (diff) | |
| download | mediawikicore-a0e1796f37ed201dbae656ef21e1ec93fb5121b4.tar.gz mediawikicore-a0e1796f37ed201dbae656ef21e1ec93fb5121b4.zip | |
Merge "mediawiki.less: Amend neutral `@border-color-muted` value"
Diffstat (limited to 'includes/composer/VersionChecker.php')
0 files changed, 0 insertions, 0 deletions