diff --git a/debian/rules b/debian/rules index 34ad44c..f62ecef 100755 --- a/debian/rules +++ b/debian/rules @@ -9,8 +9,8 @@ include /usr/share/dpkg/default.mk -PHP_DEFAULT_VERSION := 7.2 -PHP_SUPPORTED_VERSIONS := 7.2 7.3 +PHP_DEFAULT_VERSION := 7.3 +PHP_SUPPORTED_VERSIONS := 7.3 , := , PHP_DEV_PACKAGES := $(addprefix php,$(addsuffix -dev$(,),$(PHP_SUPPORTED_VERSIONS))), $(addprefix php,$(addsuffix -json$(,),$(PHP_SUPPORTED_VERSIONS)))