Added some code to download a pre-configured php.ini