jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/404605 )
Change subject: Revert accidentally removed trait
......................................................................
Revert accidentally removed trait
Change-Id: I82283be89f3f155d7793d4c900927d81a60d5e95
---
M tests/phpunit/maintenance/BenchmarkerTest.php
1 file changed, 3 insertions(+), 0 deletions(-)
Approvals:
Umherirrender: Looks good to me, approved
jenkins-bot: Verified
diff --git a/tests/phpunit/maintenance/BenchmarkerTest.php
b/tests/phpunit/maintenance/BenchmarkerTest.php
index 83e39cb..0b8d0d9 100644
--- a/tests/phpunit/maintenance/BenchmarkerTest.php
+++ b/tests/phpunit/maintenance/BenchmarkerTest.php
@@ -3,6 +3,7 @@
namespace MediaWiki\Tests\Maintenance;
use Benchmarker;
+use MediaWikiCoversValidator;
use PHPUnit_Framework_TestCase;
use Wikimedia\TestingAccessWrapper;
@@ -11,6 +12,8 @@
*/
class BenchmarkerTest extends PHPUnit_Framework_TestCase {
+ use MediaWikiCoversValidator;
+
public function testBenchSimple() {
$bench = $this->getMockBuilder( Benchmarker::class )
->setMethods( [ 'execute', 'output' ] )
--
To view, visit https://gerrit.wikimedia.org/r/404605
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I82283be89f3f155d7793d4c900927d81a60d5e95
Gerrit-PatchSet: 3
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Awight <[email protected]>
Gerrit-Reviewer: Ladsgroup <[email protected]>
Gerrit-Reviewer: Umherirrender <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
