Merge "Support custom offsets from SearchResultSet"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 19 Jul 2017 10:57:28 +0000 (10:57 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 19 Jul 2017 10:57:28 +0000 (10:57 +0000)
commit598a250b71aee0ca14eb8661b139bb23cf8e5f40
tree6601d827c5ff5670debf91e2a44923c1395dfb3c
parent85585c47ecbf21982e77d54e0e20fcfb9434c245
parent7fd6ef9ca58709c5f7b579812b421852f5f19843
Merge "Support custom offsets from SearchResultSet"
includes/specials/SpecialSearch.php