wikimedia/mediawiki-extensions-Nuke
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Nuke synced 2024-12-02 11:56:56 +00:00
Code Issues Packages Projects Releases Wiki Activity

build: Add phan config loading for CheckUser

Browse source 
See Ib0e90d1231117c7d6a0bb326832dfcd4575f4f1c for CI config change

Bug: T342785
Change-Id: I7d046759ae1937659e253a9f8e17af42c5e7a307
This commit is contained in:
Kosta Harlan 2024-10-17 13:16:30 +02:00
parent 3bc28520af
commit 802f137751
No known key found for this signature in database
GPG key ID: BC3D8915606A5ED9
1 changed files with 17 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

18
.phan/config.php
View file

@ -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;