Merge "registration: Fix merging of $wgExtensionCredits"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 16 Mar 2015 17:37:51 +0000 (17:37 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 16 Mar 2015 17:37:51 +0000 (17:37 +0000)
commit2b40ee625db5ace3e61d1f1ff7766735e174a573
tree02964498e7154d8fa8aa6f5bcc1c45ed65f72a2b
parentd3efb28185e84383ee21f77871f592fbe72f4846
parentda17b9bf74e6b074e3c38b358485bc31431533a3
Merge "registration: Fix merging of $wgExtensionCredits"