Merge "Introduce wgRelevantPageIsProbablyEditable"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 18 May 2017 16:01:26 +0000 (16:01 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 18 May 2017 16:01:26 +0000 (16:01 +0000)
commit2b5fe6e3f1d01d8b24a1856f016c3c6d120a8855
tree389055816ab8d6b1a74a90ca92119ed5968921ef
parenta3144a21bcc253741d8bd169e6f1994b12c3ad8b
parentdbfe9c99d3f7c91f103e89c299c3bc5d18db8667
Merge "Introduce wgRelevantPageIsProbablyEditable"
includes/OutputPage.php