From: Florian <florian.schmidt.stargatewissen@gmail.com>
Date: Sun, 27 Dec 2015 20:36:18 +0000 (+0100)
Subject: Use wikimedia/at-ease insteaad of @
X-Git-Tag: 1.31.0-rc.0~8541^2
X-Git-Url: https://git.cyclocoop.org/%28%28?a=commitdiff_plain;h=be60ba4cb44f38374d63060e1d7b3b50591b8da5;p=lhc%2Fweb%2Fwiklou.git

Use wikimedia/at-ease insteaad of @

Change-Id: Icba412dd5db11b596ad1cf740b8408823297bc86
---

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";