PHP version and extension management. Use when: switching PHP versions, installing or removing extensions, or tuning php.ini. Boundary: authorized servers only.
