From eae890b1b28e0cfed87e7988eea455d4118be3d9 Mon Sep 17 00:00:00 2001
From: Shivam Mathur <shivam_jpr@hotmail.com>
Date: Fri, 29 Nov 2019 10:14:53 +0530
Subject: [PATCH] Fix phpdbg version

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

diff --git a/src/scripts/linux.sh b/src/scripts/linux.sh
index 31b1e044..81e0c8b2 100644
--- a/src/scripts/linux.sh
+++ b/src/scripts/linux.sh
@@ -29,7 +29,7 @@ if [ "$existing_version" != "$1" ]; then
 		status="Installed PHP$version"
 	fi
 
-	for tool in php phar phar.phar php-cgi php-config phpize; do
+	for tool in php phar phar.phar php-cgi php-config phpize phpdbg; do
 		if [ -e "/usr/bin/$tool$1" ]; then
 			sudo update-alternatives --set $tool /usr/bin/"$tool$1" >/dev/null 2>&1
 		fi