From 721e4c3367ab494247ed88238303d9978494363c Mon Sep 17 00:00:00 2001
From: Shivam Mathur <shivam_jpr@hotmail.com>
Date: Thu, 18 Nov 2021 16:51:20 +0530
Subject: [PATCH] Add dev package for PHP by default on self-hosted

---
 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 87a615e9..31cd688d 100644
--- a/src/scripts/linux.sh
+++ b/src/scripts/linux.sh
@@ -128,7 +128,7 @@ switch_version() {
 add_packaged_php() {
   if [ "$runner" = "self-hosted" ] || [ "${use_package_cache:-true}" = "false" ]; then
     add_ppa ondrej/php >/dev/null 2>&1 || update_ppa ondrej/php
-    IFS=' ' read -r -a packages <<<"$(echo "cli curl mbstring xml intl" | sed "s/[^ ]*/php$version-&/g")"
+    IFS=' ' read -r -a packages <<<"$(echo "cli curl dev mbstring xml intl" | sed "s/[^ ]*/php$version-&/g")"
     install_packages "${packages[@]}"
   else
     run_script "php-ubuntu" "$version"