Merge "Made WikiPage::isRedirect() actually use page_is_redirect"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 1 Oct 2015 18:59:59 +0000 (18:59 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 1 Oct 2015 18:59:59 +0000 (18:59 +0000)
commit8e655d8dd34c9b5b7857532753b4f1faa7d8571d
tree08d9b830017666dd95c13efa089db9ec369da757
parentc369defa97a2fc64d33de277662ee0fd49d0c151
parent7d4a930c95cce41cdea2774375ee7f5aa6a99623
Merge "Made WikiPage::isRedirect() actually use page_is_redirect"