From b36d2222e6f3f814dd0be30807ca93939fb8decb Mon Sep 17 00:00:00 2001
From: Shivam Mathur <shivam_jpr@hotmail.com>
Date: Mon, 18 May 2020 17:53:34 +0530
Subject: [PATCH] Update PPA before phalcon setup

---
 src/scripts/ext/phalcon.sh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/scripts/ext/phalcon.sh b/src/scripts/ext/phalcon.sh
index 7a56e3e3..acd8ffa6 100644
--- a/src/scripts/ext/phalcon.sh
+++ b/src/scripts/ext/phalcon.sh
@@ -22,7 +22,6 @@ update_ppa() {
 install_phalcon() {
   extension=$1
   version=$2
-  (sudo DEBIAN_FRONTEND=noninteractive apt-get install -y "php$version-$extension" >/dev/null 2>&1 && add_log "$tick" "$extension" "Installed and enabled") ||
   (update_ppa && sudo DEBIAN_FRONTEND=noninteractive apt-get install -y "php$version-$extension" >/dev/null 2>&1 && add_log "$tick" "$extension" "Installed and enabled") ||
   add_log "$cross" "$extension" "Could not install $extension on PHP $semver"
 }