wikimedia/mediawiki-extensions-Interwiki
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Interwiki synced 2024-12-03 10:26:43 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Interwiki/modules
History
Umherirrender 8b95a7cdb8 stylelint: Enable selector-pseudo-element-colon-notation 
Via stylelint --fix

Change-Id: Iaab547047a2611b177914e25baa826ef6ea39370
2023-03-30 00:33:43 +02:00
..
interwiki.css stylelint: Enable selector-pseudo-element-colon-notation 2023-03-30 00:33:43 +02:00