From 00b0d694d03da1a731bce2ca8c249ef202374fd6 Mon Sep 17 00:00:00 2001
From: Shivam Mathur <shivam_jpr@hotmail.com>
Date: Mon, 18 May 2020 18:03:51 +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 d10c2e9d..c49ee4fa 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"
 }