PHP settings

Environments ship with an opinionated pre-configuration of PHP settings. The dashboard exposes a couple settings to configure the PHP version and certain PHP extensions.

• Use phpinfo to dump all the PHP settings.
• Use user.ini for more fine grained control over PHP settings.