wikimedia/mediawiki-extensions-Interwiki
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Interwiki synced 2024-11-23 22:13:37 +00:00
Code Issues Packages Projects Releases Wiki Activity
1681 commits 285 branches 5 tags 12 MiB
Commit graph

2 commits

Author SHA1 Message Date
Umherirrender 8b95a7cdb8 stylelint: Enable selector-pseudo-element-colon-notation 
Via stylelint --fix

Change-Id: Iaab547047a2611b177914e25baa826ef6ea39370
 2023-03-30 00:33:43 +02:00
Umherirrender 40410e38dc Move css into own modules folder 
There is no need to have it in the root folder

Change-Id: I656985dc019854299c70948547288b27de5951ca
 2021-03-12 23:33:24 +01:00