Merge "Fix Special:Userlogout for $wgAutoloadAttemptLowercase = false"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 17 May 2016 01:28:01 +0000 (01:28 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 17 May 2016 01:28:01 +0000 (01:28 +0000)
commitc434f846378170ef4b6baf05fc513268086ecc12
tree48820604696b2681c34b6bbd1d259629a3c0fdb2
parentde2563d37aacb2caadec87b5396fb9b63d07e2fc
parentdc893a2ff34a92c03bba9bda2a05274a76a3e94d
Merge "Fix Special:Userlogout for $wgAutoloadAttemptLowercase = false"