1ccd29
diff -up ./build/gen_stub.php.syslib ./build/gen_stub.php
1ccd29
--- ./build/gen_stub.php.syslib	2020-06-25 08:11:51.782046813 +0200
1ccd29
+++ ./build/gen_stub.php	2020-06-25 08:13:11.188860368 +0200
1ccd29
@@ -1075,6 +1075,12 @@ function initPhpParser() {
1ccd29
     }
1ccd29
 
1ccd29
     $isInitialized = true;
1ccd29
+
1ccd29
+    if (file_exists('/usr/share/php/PhpParser4/autoload.php')) {
1ccd29
+        require_once '/usr/share/php/PhpParser4/autoload.php';
1ccd29
+        return;
1ccd29
+    }
1ccd29
+
1ccd29
     $version = "4.13.0";
1ccd29
     $phpParserDir = __DIR__ . "/PHP-Parser-$version";
1ccd29
     if (!is_dir($phpParserDir)) {