wikimedia
diff --git a/‎.github/workflows/php.yml‎
Lines changed: 6 additions & 1 deletion b/‎.github/workflows/php.yml‎
Lines changed: 6 additions & 1 deletion
diff --git a/‎.phan/config.php‎
Lines changed: 2 additions & 0 deletions b/‎.phan/config.php‎
Lines changed: 2 additions & 0 deletions
diff --git a/‎composer.json‎
Lines changed: 4 additions & 1 deletion b/‎composer.json‎
Lines changed: 4 additions & 1 deletion
@@ -7,7 +7,9 @@ jobs:
     runs-on: ubuntu-latest
     strategy:
       matrix:
-        php: [8.1, 8.2, 8.3, 8.4, 8.5]
+        # PHP v8.5 has issues with Phan 5.5.1
+        # Method SplObjectStorage::attach() is deprecated since 8.5, use method SplObjectStorage::offsetSet() instead
+        php: [8.1, 8.2, 8.3, 8.4]
     steps:
       - name: Checkout
         uses: actions/checkout@v2
@@ -28,3 +30,6 @@ jobs:
 
       - name: Run tests
         run: php ./vendor/bin/phpunit
+
+      - name: Running phan
+        run: composer run-script phan
@@ -0,0 +1,2 @@
+<?php
+return require __DIR__ . '/../vendor/mediawiki/mediawiki-phan-config/src/config.php';
@@ -37,6 +37,7 @@
 		"ext-curl": "*",
 		"phpunit/phpunit": "9.6.20",
 		"mediawiki/mediawiki-codesniffer": "48.0.0",
+		"mediawiki/mediawiki-phan-config": "0.17.0",
 		"mustangostang/spyc": "0.6.3"
 	},
 
@@ -53,11 +54,13 @@
 	"scripts": {
 		"fix": "phpcbf",
 		"cs": "phpcs -sp",
+		"phan": "phan -d . --long-progress-bar",
 		"yaml-sort-check": "composer require mhujer/yaml-sort-checker; yaml-sort-checker",
 		"test": [
 			"@composer validate --no-interaction",
 			"phpunit",
-			"@cs"
+			"@cs",
+			"@phan"
 		]
 	},
 	"config": {
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+<?php`
	`2`	`+return require __DIR__ . '/../vendor/mediawiki/mediawiki-phan-config/src/config.php';`