Merge "generateJsonI18n.php: Use tabs for indentation"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 22 Apr 2014 08:16:55 +0000 (08:16 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 22 Apr 2014 08:16:55 +0000 (08:16 +0000)
commit7c24f6c5a9ec47d4bc91ddd4dd2595e9897ac58d
tree790296730b91c7c3e762dff02b2727170b4e4dd8
parent586521d29d1a7377ab22b3f1376936ca462109d3
parentcdf358807c8370648233c28d3e740a8c9aedb078
Merge "generateJsonI18n.php: Use tabs for indentation"