Merge "Clarify that $terms get preg_quoted by caller in SearchHighlighter"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 7 Sep 2016 14:18:43 +0000 (14:18 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 7 Sep 2016 14:18:43 +0000 (14:18 +0000)
commitdc178bf8f6b768919464f52905fc0d42d17fc3fe
treecdf23defc6bb7b2e8aa83954e8c122e4c722ae49
parent8ebec93feab9b844f3229645962d82c429ba84fa
parent6941283af44ce27e848cd08058e30a6b51afe33b
Merge "Clarify that $terms get preg_quoted by caller in SearchHighlighter"