Merge "search: Use self::class instead of __CLASS__ in SearchResultSet"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 8 Aug 2018 14:56:08 +0000 (14:56 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 8 Aug 2018 14:56:08 +0000 (14:56 +0000)

Trivial merge