PHP Execution Environment

Documentation for PHP Development Tools 8.2.0-202311292129, report a documentation bug if any.