diff options
author | Nikita Popov <nikita.ppv@gmail.com> | 2020-07-02 10:36:57 +0200 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2020-07-02 10:37:14 +0200 |
commit | 1ed5a63c8688059b35a0b7cc88fe6c76f1dd829e (patch) | |
tree | 1fcd472842f51d134af62d9075c810d52d93f725 /build | |
parent | 271bc689ea9211821363e289accb23bb965aa5eb (diff) | |
download | php-git-1ed5a63c8688059b35a0b7cc88fe6c76f1dd829e.tar.gz |
Check that "tokenizer" extension is available in gen_stub.php
Diffstat (limited to 'build')
-rwxr-xr-x | build/gen_stub.php | 4 |
1 files changed, 4 insertions, 0 deletions
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"; |