archive/php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2025-08-16 05:58:45 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

Check that "tokenizer" extension is available in gen_stub.php

Browse source
This commit is contained in:
Nikita Popov 2020-07-02 10:36:57 +02:00
parent 271bc689ea
commit 1ed5a63c86
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
build/gen_stub.php
View file

@ -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";