build: Switch phan to special library mode

jdforrester · jdforrester · commit 1531fa6600ae · 2023-04-17T16:37:37.000-04:00
Bug: T334492
Change-Id: I868cd4e8d5761bfa7386a96a87c31ae0d421228c
diff --git a/.phan/config.php b/.phan/config.php
@@ -1,6 +1,6 @@
 <?php
 
-$cfg = require __DIR__ . '/../vendor/mediawiki/mediawiki-phan-config/src/config.php';
+$cfg = require __DIR__ . '/../vendor/mediawiki/mediawiki-phan-config/src/config-library.php';
 
 $cfg['suppress_issue_types'][] = 'PhanTypeInvalidDimOffset';
 
diff --git a/composer.json b/composer.json
@@ -23,7 +23,7 @@
 	},
 	"require-dev": {
 		"mediawiki/mediawiki-codesniffer": "41.0.0",
-		"mediawiki/mediawiki-phan-config": "0.12.0",
+		"mediawiki/mediawiki-phan-config": "0.12.1",
 		"mediawiki/minus-x": "1.1.1",
 		"ockcyp/covers-validator": "1.6.0",
 		"php-parallel-lint/php-console-highlighter": "1.0.0",
