mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter
synced 2024-11-30 18:44:24 +00:00
92d2444067
Change-Id: Ic1297143e46ccc6cc0b00710db74bd87c48d0ff6
7 lines
73 B
JSON
7 lines
73 B
JSON
{
|
|
"@metadata": {
|
|
"authors": []
|
|
},
|
|
"linter-page-history": "endaan"
|
|
}
|