From a8f2b2b85acba5e31a54c66d76a43980f11e21e3 Mon Sep 17 00:00:00 2001
From: Christian Schiffler <c.schiffler@cyberspectrum.de>
Date: Mon, 4 Jul 2022 11:36:32 +0200
Subject: [PATCH] Skip sub directories when parsing stubs

We now have the extensions in a sub directory and therefore have to skip
that one.
---
 bin/update-property-map.php | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/bin/update-property-map.php b/bin/update-property-map.php
index cde032750..bed4923ba 100755
--- a/bin/update-property-map.php
+++ b/bin/update-property-map.php
@@ -50,6 +50,9 @@ foreach (new RecursiveDirectoryIterator(
     __DIR__ . '/../stubs',
     FilesystemIterator::CURRENT_AS_PATHNAME|FilesystemIterator::SKIP_DOTS
 ) as $file) {
+    if (is_dir($file)) {
+        continue;
+    }
     $contents = file_get_contents($file);
     $stmts = $parser->parse($contents);
     $stmts = $traverser->traverse($stmts);