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)
commit92018b4b492ae7d34e0d425bbede8baff9272039
tree1531ce59e3e79e00a3a7907eafa4d5e5141511c0
parent8ef1411f55791d4db75d87805b645f6c972bf168
parent64892ce978c138fcc339e1bb9e3c4ad8e903037b
Merge "search: Use self::class instead of __CLASS__ in SearchResultSet"