mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Cite
synced 2024-12-02 18:46:18 +00:00
b1cc92b9a1
The namespace change avoids a conflict with the existing Parsoid implementation in Wikimedia\Parsoid\Ext\Cite and matches the current Cite codebase better. We also need to add some phan stubs to allow Cite to use Parsoid's generic DOM implementation classes, and some type assertions to satisfy phan. Bug: T354215 Change-Id: Ic904601b29555c9485a804f131061f207970ddd4
33 lines
937 B
PHP
33 lines
937 B
PHP
<?php
|
|
|
|
$cfg = require __DIR__ . '/../vendor/mediawiki/mediawiki-phan-config/src/config.php';
|
|
|
|
// Due to creation of Parser::$extCite property
|
|
$cfg['suppress_issue_types'][] = 'PhanUndeclaredProperty';
|
|
|
|
/**
|
|
* Quick implementation of a recursive directory list.
|
|
* @param string $dir The directory to list
|
|
* @param ?array &$result Where to put the result
|
|
*/
|
|
function wfCollectPhpFiles( string $dir, ?array &$result = [] ) {
|
|
if ( !is_dir( $dir ) ) {
|
|
return;
|
|
}
|
|
foreach ( scandir( $dir ) as $f ) {
|
|
if ( $f === '.' || $f === '..' ) {
|
|
continue;
|
|
}
|
|
$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
|
|
wfCollectPhpFiles( "{$VP}/vendor/wikimedia/parsoid/src/DOM", $cfg['exclude_file_list'] );
|
|
|
|
return $cfg;
|