From 1ed5a63c8688059b35a0b7cc88fe6c76f1dd829e Mon Sep 17 00:00:00 2001 From: Nikita Popov Date: Thu, 2 Jul 2020 10:36:57 +0200 Subject: [PATCH] Check that "tokenizer" extension is available in gen_stub.php --- build/gen_stub.php | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/build/gen_stub.php b/build/gen_stub.php index bd30913b69..d6d4377428 100755 --- a/build/gen_stub.php +++ b/build/gen_stub.php @@ -1074,6 +1074,10 @@ function initPhpParser() { return; } + if (!extension_loaded("tokenizer")) { + throw new Exception("The \"tokenizer\" extension is not available"); + } + $isInitialized = true; $version = "4.3.0"; $phpParserDir = __DIR__ . "/PHP-Parser-$version"; -- 2.50.1