wikimedia/mediawiki-extensions-Cite
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Cite synced 2024-11-23 22:45:20 +00:00
Code Issues Packages Projects Releases Wiki Activity

Less tabs in phan config

Browse source 
Change-Id: If9b35b1f1ae6e70917e17e85cb0f9a2b0fa959ee
This commit is contained in:
Arlo Breault 2024-02-26 16:57:14 -05:00
parent 90dc52620c
commit 1ea6f53fde
1 changed files with 11 additions and 11 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

22
.phan/config.php
View file

@ -11,19 +11,19 @@ $cfg['suppress_issue_types'][] = 'PhanUndeclaredProperty';
* @param ?array &$result Where to put the result * @param ?array &$result Where to put the result
*/ */
function wfCollectPhpFiles( string $dir, ?array &$result = [] ) { function wfCollectPhpFiles( string $dir, ?array &$result = [] ) {
if ( !is_dir( $dir ) ) { if ( !is_dir( $dir ) ) {
return; return;
}
foreach ( scandir( $dir ) as $f ) {
if ( $f === '.' || $f === '..' ) {
continue;
} }
foreach ( scandir( $dir ) as $f ) { $fullName = $dir . DIRECTORY_SEPARATOR . $f;
if ( $f === '.' || $f === '..' ) { wfCollectPhpFiles( $fullName, $result );
continue; if ( is_file( $fullName ) && preg_match( '/\.php$/D', $fullName ) ) {
} $result[] = $fullName;
$fullName = $dir . DIRECTORY_SEPARATOR . $f;
wfCollectPhpFiles( $fullName, $result );
if ( is_file( $fullName ) && preg_match( '/\.php$/D', $fullName ) ) {
$result[] = $fullName;
}
} }
}
} }
// Exclude src/DOM in favour of .phan/stubs/DomImpl.php // Exclude src/DOM in favour of .phan/stubs/DomImpl.php