Do not convert the file list to array

vimeo · May 25, 2022 · e2901da · e2901da
1 parent 08d8e66
commit e2901da
Showing 1 changed file with 8 additions and 10 deletions.
diff --git a/bin/update-property-map.php b/bin/update-property-map.php
@@ -22,17 +22,15 @@
     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';