Merge "Define index types as strings"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 23 Apr 2019 08:57:59 +0000 (08:57 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 23 Apr 2019 08:57:59 +0000 (08:57 +0000)
commit37344b9daf313807380482c9e5cce6fe4ac88a6c
tree41f80d7b72a7261371476e349d99eeb285f4fca8
parent83959d2502e1cd19bdc1c2b2706d734b850e4316
parent9e035a229ed6550d1b7fd7ac49b8cfcf26122785
Merge "Define index types as strings"
includes/search/SearchEngine.php