Merge "Fix comment in SearchEngine.php"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 2 Mar 2016 12:19:54 +0000 (12:19 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 2 Mar 2016 12:19:54 +0000 (12:19 +0000)
commitce3a0d7ffad905bc04dcb6a0031a404e2fcc1cc8
tree581d617186ff746379598da061b6ae009087b7b2
parentc37912606510ceee79fdecb9cb1afdf1781b74ad
parent3a5931c3e508e53bbf441196aaeb2ca5afce8b23
Merge "Fix comment in SearchEngine.php"