From deb2e87162c206e0a1f8b1e220fd7ac4d4c6f57e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maximilian=20Kr=C3=B6g?= Date: Mon, 21 Oct 2024 19:46:59 +0200 Subject: [PATCH] Die when PHP doc not found in update-property-map.php --- bin/update-property-map.php | 1 + 1 file changed, 1 insertion(+) 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(