Merge "registration: Sync extension.schema.json with reality"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 23 Jan 2015 18:35:05 +0000 (18:35 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 23 Jan 2015 18:35:05 +0000 (18:35 +0000)
commitdfcf9ffd67883186d22ad6b03331ba567a42d352
treeeb88564a087e7c04b5cbaf5c55730819aeff9368
parent20e6ae299acc8cf42aa5040b7f0636850e8bdcd5
parenta969555c2debda1c6e632432ddf8873af11f496a
Merge "registration: Sync extension.schema.json with reality"