Update up-do-date version of PHP (#576)
Update up-do-date version of PHP (#576)

PHP 7.2 was released in November 2017 and PHP 7.0 is now in security-release-only mode. http://php.net/supported-versions.php
getgrav/grav-learn,getgrav/grav-learn,getgrav/grav-learn,getgrav/grav-learn