Merge pull request #11136 from M393/fix-update-property-map

Die when PHP doc not found in update-property-map.php
vimeo · Feb 17, 2025 · 4a25687 · 4a25687
2 parents 6982f44 + b9df602
commit 4a25687
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/bin/stubs/update-property-map.php b/bin/stubs/update-property-map.php
@@ -52,6 +52,7 @@
 if (false === $docDir) {
     echo 'PHP doc not found!' . PHP_EOL;
     echo 'Please execute: git clone git@github.com:php/doc-en.git ' . dirname(__DIR__) . '/build/doc-en';
+    die(1);
 }
 
 $files = new RegexIterator(