Fallback to curl in gen_stub if wget fails

Closes GH-4502.

diff --git a/scripts/dev/gen_stub.php b/scripts/dev/gen_stub.php
index 993be075d7f51a217ff9fa0f449f2ab75a17e4de..f61893050c49fce700687702e05f41e588586147 100755 (executable)
--- a/scripts/dev/gen_stub.php
+++ b/scripts/dev/gen_stub.php
@@ -384,7 +384,11 @@ function initPhpParser() {
     if (!is_dir($phpParserDir)) {
         $cwd = getcwd();
         chdir(__DIR__);
+
         passthru("wget https://github.com/nikic/PHP-Parser/archive/v$version.tar.gz", $exit);
+        if ($exit !== 0) {
+            passthru("curl -LO https://github.com/nikic/PHP-Parser/archive/v$version.tar.gz", $exit);
+        }
         if ($exit !== 0) {
             throw new Exception("Failed to download PHP-Parser tarball");
         }