Merge "OutputPage::getCategories(): Add a possibility to distinguish "normal" and...
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 25 Nov 2016 00:17:04 +0000 (00:17 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 25 Nov 2016 00:17:04 +0000 (00:17 +0000)
commit2c0db8f5e8593a51ae0acc8285fd40b7743b0fce
tree6ac4bb80cce716e3e1554770e78a0d800efefbdb
parent2000747ccac8ed9eed0faf40ae5d607efee610a2
parentf4b8549f5fad898449f92f0878780dbb6bb9afc0
Merge "OutputPage::getCategories(): Add a possibility to distinguish "normal" and "hidden" categories"
includes/OutputPage.php