config_php.sh

#!/usr/bin/env bash

config_php=(
#  'version    shortname  port  build'
   '5.4.45     5.4        9004  false'
   '5.5.38     5.5        9005  false'
   '5.6.35     5.6        9006  false'
   '7.0.29     7.0        9007  false'
   '7.1.16     7.1        9008  false'
   '7.2.4      7.2        9009  false'
   '7.3.13     7.3        9010  true'
)