build: Update linters

Change-Id: If959fe0c1b972fe55c6f8cee1c9bb33a52b4265d
This commit is contained in:
Ed Sanders
2023-09-20 18:53:26 +01:00
parent 7ed0649d12
commit bde4b44108
6 changed files with 1117 additions and 621 deletions

View File

@@ -2,8 +2,5 @@
"root": true,
"extends": [
"wikimedia/server"
],
"rules": {
"strict": "warn"
}
]
}