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

Bump the PHP default and supported version to PHP 7.3

Browse source
This commit is contained in:
Ondřej Surý 2018-10-14 08:35:22 +00:00
parent 54621dbf15
commit dfa421dae5
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
debian/rules vendored
View file

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