Merge "phpunit: Avoid get_class() in MediaWikiCoversValidator"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 25 Jul 2019 23:03:55 +0000 (23:03 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 25 Jul 2019 23:03:55 +0000 (23:03 +0000)
commitbcd73ac8fb2b557cd6240cc81daa566a904ea31a
tree093886fb0d6c7663095662f9524a380536cb8674
parent636eaed269d2448136e1968cb8ff312b723a7200
parent456f051c4495459aee6e143dfa851e29a6028170
Merge "phpunit: Avoid get_class() in MediaWikiCoversValidator"