From f687ff8f210aa056e22b994b18f567dea8426501 Mon Sep 17 00:00:00 2001
From: Shivam Mathur <shivam_jpr@hotmail.com>
Date: Mon, 12 Oct 2020 10:45:03 +0530
Subject: [PATCH] Fix dependency mess in phalcon4 setup on ubuntu

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

diff --git a/src/scripts/ext/phalcon.sh b/src/scripts/ext/phalcon.sh
index aa46df8e..8c011e15 100644
--- a/src/scripts/ext/phalcon.sh
+++ b/src/scripts/ext/phalcon.sh
@@ -3,7 +3,11 @@ add_phalcon_helper() {
   status='Installed and enabled'
   if [ "$os_name" = "Linux" ]; then
     update_lists
-    ${apt_install:?} "php${version:?}-$extension"
+    if [ "$extension" = "phalcon4" ]; then
+      ${apt_install:?} "php${version:?}-psr" "php${version:?}-$extension"
+    else
+      ${apt_install:?} "php${version:?}-$extension"
+    fi
   else
     phalcon_ini_file=${ini_file:?}
     sed -i '' '/extension.*psr/d' "${ini_file:?}"