mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter
synced 2024-12-11 07:26:20 +00:00
0414579202
Change-Id: I7014c49e851a195b0375a835587750cb38d3f9a1
11 lines
169 B
JSON
11 lines
169 B
JSON
{
|
|
"@metadata": {
|
|
"authors": [
|
|
"PiefPafPier"
|
|
]
|
|
},
|
|
"linterrors": "Lint-flaters",
|
|
"linterrors-subpage": "Lint-flaters: $1",
|
|
"pageinfo-linter": "Lint-flaters"
|
|
}
|