Increase capacity of the default PHP.ini settings.
Do not load PHPDev manifest as the PHP extension installation should have taken care of dependencies. Left it in code in case we need to install the dependencies separately.