Merge "Make UserNotLoggedIn redirect to login page"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 7 Aug 2014 18:35:40 +0000 (18:35 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 7 Aug 2014 18:35:40 +0000 (18:35 +0000)
commit87b169260c66921d5c5652a4c5c1228f1bcb50ea
tree51271d544e403d82a7101df214fedeabae8b78aa
parent21424161ba5d6280bad02ac0b65962fc3e0b3c98
parentd0439af89f6b254cea09b3773ab139f04f81a97d
Merge "Make UserNotLoggedIn redirect to login page"
includes/specialpage/SpecialPage.php