wikimedia/mediawiki-extensions-ReplaceText
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText synced 2024-12-01 09:46:15 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Replac.../resources
History
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
..
ext.ReplaceText.js Change CSS identifiers 2021-09-08 11:53:43 +00:00
ext.ReplaceTextStyles.less Change CSS identifiers 2021-09-08 11:53:43 +00:00