Merge "convertExtensionToRegistration: Put some keys (name, version, etc.) on top"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 23 Jan 2015 18:32:07 +0000 (18:32 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 23 Jan 2015 18:32:07 +0000 (18:32 +0000)
commit20e6ae299acc8cf42aa5040b7f0636850e8bdcd5
tree4335a3b84a327b2e46bf860336f591875839a022
parent3f4156be514a08997d8c22ed00fea37f2374266c
parent77d38f651fd5bfe3df8056ed607430ca98de52be
Merge "convertExtensionToRegistration: Put some keys (name, version, etc.) on top"