PHP Install a PHP extension manuallyPHP settingsPHP extensionsAdd an alternative PHP versionHow to set and change a PHP versionPHP modes