Customize PHP.ini and PHP extensions