Merge "EditPage: Try to avoid using $wgTitle"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 20 Sep 2017 15:59:47 +0000 (15:59 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 20 Sep 2017 15:59:47 +0000 (15:59 +0000)
commit00c769eb8d7746dfddff525ccc813f276046dea8
tree0fdc4eea0e1eeb21fde51e55d4ff250c434ee34e
parentf2bb88c90ba8e44e141fb9481dc9eef5ad32bd36
parent5cd20435dc1aa512e2033041b09e026c342f8516
Merge "EditPage: Try to avoid using $wgTitle"
includes/EditPage.php