2022-05-17 09:05:29 +00:00
|
|
|
diff -up ./build/gen_stub.php.syslib ./build/gen_stub.php
|
|
|
|
|
--- ./build/gen_stub.php.syslib 2020-06-25 08:11:51.782046813 +0200
|
|
|
|
|
+++ ./build/gen_stub.php 2020-06-25 08:13:11.188860368 +0200
|
2023-11-24 08:23:57 +00:00
|
|
|
@@ -3265,6 +3265,12 @@ function initPhpParser() {
|
2022-05-17 09:05:29 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
$isInitialized = true;
|
|
|
|
|
+
|
|
|
|
|
+ if (file_exists('/usr/share/php/PhpParser4/autoload.php')) {
|
|
|
|
|
+ require_once '/usr/share/php/PhpParser4/autoload.php';
|
|
|
|
|
+ return;
|
|
|
|
|
+ }
|
|
|
|
|
+
|
2023-11-24 08:23:57 +00:00
|
|
|
$version = "4.15.1";
|
2022-05-17 09:05:29 +00:00
|
|
|
$phpParserDir = __DIR__ . "/PHP-Parser-$version";
|
|
|
|
|
if (!is_dir($phpParserDir)) {
|
