Merge "Revert noindex-category change from change I233ce58fd82a1dbc57b3ab58ce669b23a5...
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 8 Oct 2016 18:34:48 +0000 (18:34 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 8 Oct 2016 18:34:48 +0000 (18:34 +0000)

Trivial merge