Merge "Set initial focus on some special pages"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 30 Jun 2013 17:07:01 +0000 (17:07 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 30 Jun 2013 17:07:01 +0000 (17:07 +0000)
commit417e346059bac2c1a8f1fc1e2aad4dff2a6afd41
tree052bbddd11fdeec1c5a218e1fb4ca5c8b8be43c5
parentf0a00a49b1be46b51aeef712f363305bce4448fa
parentfa36b1cabb276b87e272a562cfc98271a5ecb8ce
Merge "Set initial focus on some special pages"
includes/specials/SpecialUndelete.php
includes/specials/SpecialUserrights.php