Merge "Fix fatal error in updateSearchIndex.php script"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 9 Feb 2016 14:25:33 +0000 (14:25 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 9 Feb 2016 14:25:33 +0000 (14:25 +0000)
commit813d43261a1a63a7afb422845c7def9e80c95ca3
tree4f789abfc5c813faee29adc3d61405a0b708a022
parent8f13cedddbc297db0960e58d96c8cd9798f67537
parent390e9b55c187128de3576255ae522c7c85627ff9
Merge "Fix fatal error in updateSearchIndex.php script"