PHP_VER=72
PHP_VERSION=7.2.19
PHP_SAPI=cli cgi fpm embed
PHP_EXT_INC=pcre spl
PHP_EXT_DIR=20170718