From be60ba4cb44f38374d63060e1d7b3b50591b8da5 Mon Sep 17 00:00:00 2001
From: Florian <florian.schmidt.stargatewissen@gmail.com>
Date: Sun, 27 Dec 2015 21:36:18 +0100
Subject: [PATCH] Use wikimedia/at-ease insteaad of @

Change-Id: Icba412dd5db11b596ad1cf740b8408823297bc86
---
 tests/phpunit/phpunit.php | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/tests/phpunit/phpunit.php b/tests/phpunit/phpunit.php
index 5f43ef5762..09dc931df9 100755
--- a/tests/phpunit/phpunit.php
+++ b/tests/phpunit/phpunit.php
@@ -260,9 +260,9 @@ if ( class_exists( 'PHPUnit_TextUI_Command' ) ) {
 			continue;
 		}
 
-		// @codingStandardsIgnoreStart
-		@include_once $includePath;
-		// @codingStandardsIgnoreEnd
+		\MediaWiki\suppressWarnings();
+		include_once $includePath;
+		\MediaWiki\restoreWarnings();
 		if ( class_exists( 'PHPUnit_TextUI_Command' ) ) {
 			$ok = true;
 			echo "Using PHPUnit from $includePath\n";
-- 
2.20.1