Merge "generateJsonI18n.php: Remove features that should no longer be needed"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 2 May 2015 04:53:11 +0000 (04:53 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 2 May 2015 04:53:11 +0000 (04:53 +0000)
commit3022d699727d804ea235172a4369e23cf8e9c1cc
tree3efb52db5da768e9d371a5a2e1d34eda625d71de
parent140f7b18e402b55b7022542d5c7549a572a97050
parent5f6fdaab77415d6b92b8bdd6eb4ab913104d2ce7
Merge "generateJsonI18n.php: Remove features that should no longer be needed"