From 568ce375e5da5c19067444e312b36fc93a87118a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?David=20Pr=C3=A9vot?= Date: Thu, 25 Jan 2024 16:56:59 +0100 Subject: [PATCH] Unbump the default and supported version to PHP 7.1 --- debian/rules | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/debian/rules b/debian/rules index dce7ffb..af1cf8b 100755 --- a/debian/rules +++ b/debian/rules @@ -9,9 +9,9 @@ include /usr/share/dpkg/default.mk -PHP_DEFAULT_VERSION := 8.3 -PHP_SUPPORTED_VERSIONS := 8.3 -PHP_BREAKS_VERSIONS := 5.6 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2 +PHP_DEFAULT_VERSION := 7.1 +PHP_SUPPORTED_VERSIONS := 7.1 +PHP_BREAKS_VERSIONS := 5.6 7.0 7.2 7.3 7.4 8.0 8.1 8.2 , := , PHP_DEV_PACKAGES := $(addprefix php,$(addsuffix -dev$(,),$(PHP_SUPPORTED_VERSIONS))), $(addprefix php,$(addsuffix -json$(,),$(PHP_SUPPORTED_VERSIONS))), $(addprefix php,$(addsuffix -xml$(,),$(PHP_SUPPORTED_VERSIONS))), $(addprefix php,$(addsuffix -mbstring$(,),$(PHP_SUPPORTED_VERSIONS))) @@ -19,8 +19,8 @@ PHP_BREAKS_PACKAGES := $(addprefix php,$(addsuffix -common$(,),$(PHP_BREAKS_V PHP_COMMON_DIRS := $(addprefix /etc/php/,$(addsuffix /mods-available,$(PHP_SUPPORTED_VERSIONS))) -PHP_COMMON_DEB_VERSION := 83:$(DEB_VERSION) -PHP_DEB_VERSION := 83:$(PHP_DEFAULT_VERSION)+$(DEB_VERSION) +PHP_COMMON_DEB_VERSION := 71:$(DEB_VERSION) +PHP_DEB_VERSION := 71:$(PHP_DEFAULT_VERSION)+$(DEB_VERSION) SED=sed