From 802f137751f14de02d2ca2b29b23e09020a63475 Mon Sep 17 00:00:00 2001
From: Kosta Harlan <kharlan@wikimedia.org>
Date: Thu, 17 Oct 2024 13:16:30 +0200
Subject: [PATCH] build: Add phan config loading for CheckUser

See Ib0e90d1231117c7d6a0bb326832dfcd4575f4f1c for CI config change

Bug: T342785
Change-Id: I7d046759ae1937659e253a9f8e17af42c5e7a307
---
 .phan/config.php | 18 +++++++++++++++++-
 1 file changed, 17 insertions(+), 1 deletion(-)

diff --git a/.phan/config.php b/.phan/config.php
index 3f56d7dc..5788007f 100644
--- a/.phan/config.php
+++ b/.phan/config.php
@@ -16,4 +16,20 @@
  *
  */
 
-return require __DIR__ . '/../vendor/mediawiki/mediawiki-phan-config/src/config.php';
+$cfg = require __DIR__ . '/../vendor/mediawiki/mediawiki-phan-config/src/config.php';
+
+$cfg['directory_list'] = array_merge(
+	$cfg['directory_list'],
+	[
+		'../../extensions/CheckUser',
+	]
+);
+
+$cfg['exclude_analysis_directory_list'] = array_merge(
+	$cfg['exclude_analysis_directory_list'],
+	[
+		'../../extensions/CheckUser',
+	]
+);
+
+return $cfg;