Merge "Hard deprecate new SearchResult() and introduce RevisionSearchResult"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 27 Aug 2019 15:53:34 +0000 (15:53 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 27 Aug 2019 15:53:34 +0000 (15:53 +0000)
commit4accd44583a6e4af38648a4af11f4cb5a21542f1
tree2d6325e9b307f65727fc98a9ea27e721479a4836
parenta228f9128a84a18e8e8cf6f7c79ac460c6218f5e
parentbf9a7cad616a905e66f6a4db8593468bb37a1570
Merge "Hard deprecate new SearchResult() and introduce RevisionSearchResult"
autoload.php