dprevot/php-defaults
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

Unbump the default and supported version to PHP 7.1

Browse source
This commit is contained in:
David Prévot 2024-01-25 16:56:59 +01:00
parent 7c3eb5872e
commit 568ce375e5
1 changed files with 5 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
debian/rules vendored
View file

@ -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