Introduce a managed version of php.ini