mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CategoryTree
synced 2024-11-15 20:09:58 +00:00
f38881e2b9
Change-Id: I37edb434d1280663253f60fdaa4e54ea3ec6ead0
12 lines
209 B
JSON
12 lines
209 B
JSON
{
|
|
"@metadata": {
|
|
"authors": [
|
|
"Hangmanwa7id"
|
|
]
|
|
},
|
|
"categorytree-expand": "Développer",
|
|
"categorytree-num-categories": "$1 C",
|
|
"categorytree-num-pages": "$1 P",
|
|
"categorytree-num-files": "$1 F"
|
|
}
|