1
0
mirror of https://github.com/danog/psalm.git synced 2024-11-26 20:34:47 +01:00

Do not convert the file list to array

This commit is contained in:
Christian Schiffler 2022-05-25 10:40:45 +02:00
parent 6305c21b5b
commit 9cb9b1ef9e

View File

@ -22,17 +22,15 @@ if (false === $docDir) {
echo 'Please execute: git clone git@github.com:php/doc-en.git ' . dirname(__DIR__) . '/build/doc-en';
}
$files = iterator_to_array(
new RegexIterator(
new RecursiveIteratorIterator(
new RecursiveDirectoryIterator(
$docDir,
FilesystemIterator::CURRENT_AS_PATHNAME|FilesystemIterator::SKIP_DOTS
),
RecursiveIteratorIterator::LEAVES_ONLY
$files = new RegexIterator(
new RecursiveIteratorIterator(
new RecursiveDirectoryIterator(
$docDir,
FilesystemIterator::CURRENT_AS_PATHNAME|FilesystemIterator::SKIP_DOTS
),
'/.*.xml$/'
)
RecursiveIteratorIterator::LEAVES_ONLY
),
'/.*.xml$/'
);
$classes = require_once dirname(__DIR__) . '/dictionaries/ManualPropertyMap.php';