wikimedia/mediawiki-extensions-ReplaceText
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText synced 2024-11-24 06:43:35 +00:00
Code Issues Packages Projects Releases Wiki Activity
1235 commits 26 branches 21 tags 10 MiB
Commit graph

2 commits

Author SHA1 Message Date
Fomafix 78e75ed030 Change CSS identifiers 
Apply CSS coding conventions from:
https://www.mediawiki.org/wiki/Manual:Coding_conventions/CSS#Naming

* Use class instead of id.
* Use class names with the prefix "ext-replacetext-".
* Remove stylelint rule:
    "selector-max-id": null
* Add stylelint rule:
    "selector-class-pattern": "^client-nojs$|^ext-replacetext-"

Change-Id: Ia7e3d41030aba7287716a219acbe6115e8fcbe46
 2021-09-08 11:53:43 +00:00
Fomafix bd20365fbe Use LESS instead of CSS 
This allows to simplify the syntax.

Change-Id: I086524d94644a698ddbe9b15d816684736c1dc1c
 2021-09-08 11:16:31 +00:00