Merge "registration: Handle $wgSessionProviders in ExtensionProcessor"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 12 May 2016 19:22:27 +0000 (19:22 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 12 May 2016 19:22:27 +0000 (19:22 +0000)
commit1729f4b112412bba5846b4d1737b0b7013bd7812
tree3e1e0d53a02ea3f257f628392d390563d4abf21e
parent64b5cf2dae1e9ba4810de0aae2916233be3b922e
parent055ec8817ee472eb64e5ed1ca057efd668bfae2e
Merge "registration: Handle $wgSessionProviders in ExtensionProcessor"