Merge "registration: Support $wgMediaHandlers in ExtensionProcessor"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 4 May 2015 19:20:26 +0000 (19:20 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 4 May 2015 19:20:26 +0000 (19:20 +0000)
commitc5efc605e5b68bc4a76819267b8704fe7539edd5
treec6066af1ee2a36bbf8580025b740b94483e25193
parent42cd8b61597a42e3719fa6b3f87f8469e50c52d0
parente5aca92ebc7d242b0affed59e5b3ba46fbb6f639
Merge "registration: Support $wgMediaHandlers in ExtensionProcessor"