wikimedia/mediawiki-extensions-RelatedArticles
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/RelatedArticles synced 2024-11-23 15:57:06 +00:00
Code Issues Packages Projects Releases Wiki Activity

build: Update stylelint-config-wikimedia to 0.17.2

Browse source 
Change-Id: If02c4cbcec9be0b300eb8583be204515ca277e97
This commit is contained in:
Ed Sanders 2024-06-14 13:16:50 +01:00
parent fddb47b128
commit 4e8f252f1f
3 changed files with 247 additions and 577 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
.stylelintrc.json
View file

@ -1,3 +1,9 @@
{
"extends": "stylelint-config-wikimedia"
"extends": [
"stylelint-config-wikimedia/support-modern",
"stylelint-config-wikimedia/mediawiki"
],
"rules": {
"selector-class-pattern": [ "^(ext|mw|oo-ui|cdx|client|skin)-", { "severity": "warning" } ]
}
}

814
package-lock.json generated
View file

File diff suppressed because it is too large Load diff

2
package.json
View file

@ -26,7 +26,7 @@
"eslint-config-wikimedia": "0.28.2",
"grunt-banana-checker": "0.13.0",
"jest": "27.4.7",
"stylelint-config-wikimedia": "0.16.1",
"stylelint-config-wikimedia": "0.17.2",
"ts-jest": "27.1.3",
"typescript": "4.5.5",
"wdio-mediawiki": "2.5.0"