Merge "PrefixSearch: Drop titleSearch(), deprecated in 1.23"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 24 Jun 2019 23:02:09 +0000 (23:02 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 24 Jun 2019 23:02:09 +0000 (23:02 +0000)
commit4c10bb4193861da2b7775410694636af17f6ae50
treeee57a2744068ff8bfa71184c04170e978fd71c72
parent61978a67a8840e62581e7e1b818fe81398581395
parentac5b9e53df8d5dc8f2c751f0628d13ed6b12a4e2
Merge "PrefixSearch: Drop titleSearch(), deprecated in 1.23"