mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText
synced 2024-11-23 22:33:48 +00:00
78e75ed030
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 |
||
---|---|---|
.. | ||
ext.ReplaceText.js | ||
ext.ReplaceTextStyles.less |