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

diff --git a/build/gen_stub.php b/build/gen_stub.php
index bd30913b69a4f4ddab58ddc49ee3df1b75e88983..d6d43774288b2eab235937a460941f2e5cbb04f5 100755 (executable)
--- 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";