diff --git a/bin/update-property-map.php b/bin/update-property-map.php index 001a64022b2..340b6feec2b 100755 --- a/bin/update-property-map.php +++ b/bin/update-property-map.php @@ -73,6 +73,7 @@ function extractClassesFromStatements(array $statements): array 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(