Merge "Allow editors to exclude navigation items from search indices"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 19 Apr 2017 06:57:43 +0000 (06:57 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 19 Apr 2017 06:57:43 +0000 (06:57 +0000)
commit37198b7d358963bddec354e17bad696b5ea4c476
treedd329c41ca1d4117b70c4891583e182bcf88c239
parent6c81cf528d442d0cb10d0339440e8b104450df41
parent53514e5d5d970acc584f51d3345839a2e3304713
Merge "Allow editors to exclude navigation items from search indices"