build: Switch phan to special library mode

jdforrester · jdforrester · commit 4fa80a75926c · 2023-04-17T16:32:39.000-04:00
Bug: T334492
Change-Id: I318a9b34ae618249f1063fe54003650a0e6f2555
diff --git a/.phan/config.php b/.phan/config.php
@@ -1,2 +1,2 @@
 <?php
-return require __DIR__ . '/../vendor/mediawiki/mediawiki-phan-config/src/config.php';
+return require __DIR__ . '/../vendor/mediawiki/mediawiki-phan-config/src/config-library.php';
diff --git a/composer.json b/composer.json
@@ -24,7 +24,7 @@
 	},
 	"require-dev": {
 		"mediawiki/mediawiki-codesniffer": "41.0.0",
-		"mediawiki/mediawiki-phan-config": "0.12.0",
+		"mediawiki/mediawiki-phan-config": "0.12.1",
 		"php-parallel-lint/php-parallel-lint": "1.3.2",
 		"phpunit/phpunit": "9.5.28"
 	},

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`<?php`
`2`		`-return require __DIR__ . '/../vendor/mediawiki/mediawiki-phan-config/src/config.php';`
	`2`	`+return require __DIR__ . '/../vendor/mediawiki/mediawiki-phan-config/src/config-library.php';`