Merge "Don't rely on $wgTitle in WebRequest"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 2 Oct 2014 20:27:51 +0000 (20:27 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 2 Oct 2014 20:27:51 +0000 (20:27 +0000)
commit3e51aeea1ca1554f033955b463c0e51f0889a47b
tree12915039debef387dd47a42a7ff5184763946f94
parent265a85508512be2c715c2ee24c4e4c26f0b03ff5
parent35e1c7cd67f6a8eb58f269c575dba581aa7f2f92
Merge "Don't rely on $wgTitle in WebRequest"
includes/WebRequest.php