a5f7ab7
diff -up ./build/gen_stub.php.syslib ./build/gen_stub.php
a5f7ab7
--- ./build/gen_stub.php.syslib	2020-06-25 08:11:51.782046813 +0200
a5f7ab7
+++ ./build/gen_stub.php	2020-06-25 08:13:11.188860368 +0200
d489ea0
@@ -3265,6 +3265,12 @@ function initPhpParser() {
a5f7ab7
     }
a5f7ab7
 
a5f7ab7
     $isInitialized = true;
a5f7ab7
+
29055c7
+    if (file_exists('/usr/share/php/PhpParser5/autoload.php')) {
29055c7
+        require_once '/usr/share/php/PhpParser5/autoload.php';
a5f7ab7
+        return;
a5f7ab7
+    }
a5f7ab7
+
0956c6b
     $version = "5.0.0";
a5f7ab7
     $phpParserDir = __DIR__ . "/PHP-Parser-$version";
a5f7ab7
     if (!is_dir($phpParserDir)) {