Use wikimedia/at-ease insteaad of @

Change-Id: Icba412dd5db11b596ad1cf740b8408823297bc86

diff --git a/tests/phpunit/phpunit.php b/tests/phpunit/phpunit.php
index 5f43ef5..09dc931 100755 (executable)
--- 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";