From 41797e3af981d10f85332392d8e4e70347c1c200 Mon Sep 17 00:00:00 2001
From: Shivam Mathur <shivam_jpr@hotmail.com>
Date: Wed, 25 Nov 2020 11:12:07 +0530
Subject: [PATCH] Prioritize bintray over GitHub releases for scripts

---
 src/scripts/common.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/scripts/common.sh b/src/scripts/common.sh
index be246e17b..cf81fd0b0 100644
--- a/src/scripts/common.sh
+++ b/src/scripts/common.sh
@@ -75,7 +75,7 @@ run_script() {
   repo=$1
   shift
   args=("$@")
-  get -q -e /tmp/install.sh "$github/$repo/$latest/install.sh" "$bintray/php/$repo.sh"
+  get -q -e /tmp/install.sh "$bintray/php/$repo.sh" "$github/$repo/$latest/install.sh"
   bash /tmp/install.sh "${args[@]}"
 }