Add missing version info for platform.sh 7.2
Add missing version info for platform.sh 7.2

philsturgeon/phpversions.info,phpversions/phpversions.info,philsturgeon/phpversions.info,po2go-sean/phpversions.info,philsturgeon/phpversions.info,phpversions/phpversions.info,po2go-sean/phpversions.info,po2go-sean/phpversions.info,phpversions/phpversions.info,PaulBender/phpversions.info,phpversions/phpversions.info,po2go-sean/phpversions.info,PaulBender/phpversions.info,PaulBender/phpversions.info,PaulBender/phpversions.info