Tweaks for 7.2

[adambaratz]

Relatedly, the Atlas-hosted image doesn't have the latest versions of makephp/newphp in /usr/local/bin. Could it be updated so the more plug-and-play type users are working with the right code?

For this update to work, there will need to be a /etc/php72 directory added with relevant ini files.