mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto
synced 2024-12-18 10:53:37 +00:00
55de7a285d
Change-Id: I3accde79eadbd534915d82b7fa08f4828b611ec2
11 lines
194 B
JSON
11 lines
194 B
JSON
{
|
|
"@metadata": {
|
|
"authors": [
|
|
"Robin0van0der0vliet",
|
|
"Robin van der Vliet"
|
|
]
|
|
},
|
|
"scribunto-lua-error": "Luaflater: $2",
|
|
"scribunto-limitreport-timeusage-value": "$1/$2 sekonden"
|
|
}
|