pkg: switch to PHP 7.2

For older package sets use:

    # make upgrade CORE_PHP=71

Discussed with: @adschellevis
This commit is contained in:
Franco Fichtner 2019-03-18 08:28:06 +01:00
parent ee98c7b13a
commit f8143ef30d

View File

@ -44,7 +44,7 @@ CORE_ABI?= 19.1
CORE_ARCH?= ${ARCH}
CORE_FLAVOUR= ${FLAVOUR}
CORE_OPENVPN?= # empty
CORE_PHP?= 71
CORE_PHP?= 72
CORE_PYTHON2?= 27
CORE_PYTHON3?= 36
CORE_RADVD?= 1