Merge "Script to convert PHP i18n to JSON"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 20 Dec 2013 13:48:15 +0000 (13:48 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 20 Dec 2013 13:48:15 +0000 (13:48 +0000)
commit8eab930bc2483a06ced563a1376be41aff5ed5b0
treeb50cae8d75059be2a9fc07d9275680c3d07e3d26
parentb3970523a37d71997786683de214e2e1452b60fd
parent5e6c3b17cebd8c9b12cbecff0620f7d18dec9508
Merge "Script to convert PHP i18n to JSON"