blob: cb676e94bd818501043d34ca13647a78a8ea9d2c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
diff -up ./build/gen_stub.php.old ./build/gen_stub.php
--- ./build/gen_stub.php.old 2020-06-24 15:29:13.503969177 +0200
+++ ./build/gen_stub.php 2020-06-24 15:29:17.627958935 +0200
@@ -1055,6 +1055,10 @@ function installPhpParser(string $versio
}
function initPhpParser() {
+ if (file_exists('/usr/share/php/PhpParser4/autoload.php')) {
+ require_once '/usr/share/php/PhpParser4/autoload.php';
+ return;
+ }
$version = "4.3.0";
$phpParserDir = __DIR__ . "/PHP-Parser-$version";
if (!is_dir($phpParserDir)) {
|
