Merge "Read extension.json files in the web updater"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 27 Jul 2015 16:52:55 +0000 (16:52 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 27 Jul 2015 16:52:55 +0000 (16:52 +0000)
commit9548b4be26eebba352eae238cbdc0c6395f50a08
tree7b4d9fab4bd745d6ecf13055b4e7f6e8e95aa84a
parentda3def215f98b3c70b7bd27504d37b23f5b2c3e5
parent648ef0d8687ce3efc404225263aa10ca45c244a5
Merge "Read extension.json files in the web updater"