mediawiki-extensions-Wikime.../.eslintrc.json
Ed Sanders 15d8c90539 build: Update linters
Change-Id: I7178eb15ea330915c6f66744e37e60a08c2f8185
2023-11-17 13:21:10 -05:00

7 行
57 B
JSON

{
"root": true,
"extends": [
"wikimedia/server"
]
}