From: Nikita Popov <nikita.ppv@gmail.com>
Date: Thu, 2 Jul 2020 08:36:57 +0000 (+0200)
Subject: Check that "tokenizer" extension is available in gen_stub.php
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=1ed5a63c8688059b35a0b7cc88fe6c76f1dd829e;p=php

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

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