Merge "Don't show patrol links if RCP/NPP are disabled, but file patrol isn't"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 17 Feb 2016 16:31:47 +0000 (16:31 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 17 Feb 2016 16:31:47 +0000 (16:31 +0000)
commit8b38f3887ff8bede5f7f1b8e45b0ca477878cbaf
tree672a465fc8173941c8f990154bc8426256d03b2e
parenta592a76edffbc792fda134768cccc0f751b232fc
parentbcd1244f532ae520316140a0ea13f98ed2e9c2f0
Merge "Don't show patrol links if RCP/NPP are disabled, but file patrol isn't"
includes/page/Article.php