X-Git-Url: http://git.cyclocoop.org/?a=blobdiff_plain;f=tests%2Fphan%2Fconfig.php;h=da5e4b348f187d2406a7b604bace92dd84e44a32;hb=f2b8d2d23c2739150b43aab950ecbd5f8b900028;hp=585ebb975bee5c012cb5062a868dfb2d041f4569;hpb=4236dfd405f104f762f439875d5b6809147073d7;p=lhc%2Fweb%2Fwiklou.git

diff --git a/tests/phan/config.php b/tests/phan/config.php
index 585ebb975b..da5e4b348f 100644
--- a/tests/phan/config.php
+++ b/tests/phan/config.php
@@ -42,6 +42,7 @@ return [
 		// Load the interface for the version of PHPUnit that isn't installed.
 		// Phan only supports PHP 7.0+ (and not HHVM), so we only need to stub PHPUnit 4.
 		class_exists( PHPUnit_TextUI_Command::class ) ? [] : [ 'tests/phan/stubs/phpunit4.php' ],
+		class_exists( ProfilerExcimer::class ) ? [] : [ 'tests/phan/stubs/excimer.php' ],
 		[
 			'maintenance/7zip.inc',
 			'maintenance/cleanupTable.inc',
@@ -314,8 +315,6 @@ return [
 		"PhanParamTooMany",
 		// approximate error count: 3
 		"PhanParamTooManyInternal",
-		// approximate error count: 1
-		"PhanRedefineFunctionInternal",
 		// approximate error count: 2
 		"PhanTraitParentReference",
 		// approximate error count: 3