Merge "convertExtensionToRegistration.php: Ignore i18n shims"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 2 May 2015 05:00:42 +0000 (05:00 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 2 May 2015 05:00:42 +0000 (05:00 +0000)
commit01799a7cb33c707a675d8222ff9543934791aa13
treef7b1897b6610299a7e3b2288c33f4e3a9d2c19f4
parent3022d699727d804ea235172a4369e23cf8e9c1cc
parentc9b73a38bcdff36a4f96436092b96b88110aa6e1
Merge "convertExtensionToRegistration.php: Ignore i18n shims"