mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText
synced 2024-11-30 09:24:34 +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
7 lines
123 B
JSON
7 lines
123 B
JSON
{
|
|
"extends": "stylelint-config-wikimedia",
|
|
"rules": {
|
|
"selector-class-pattern": "^client-nojs$|^ext-replacetext-"
|
|
}
|
|
}
|