Undocumented --zend-max-execution-timers configuration option

[cmb69]

Description

Apparently, this has been introduced via php/php-src#10141 as a bug fix, but the configuration option is apparently completely undocumented, besides two bug fixes regarding this feature in NEWS.

Okay, if one looks hard enough, they finally find https://github.com/php/php-src/blob/a87ccc7ca2644e327c210e68b4d98df98ad33523/NEWS#L610-L611, which doesn't explain how that optional support can be enabled.

I'm filing this to php-src, because what is not in UPGRADING, is unlikely to be documented in doc-en. Of course, it is now too late to change PHP-8.1/NEWS, besides that nobody would read that file anymore.

PHP Version

PHP 8.1

Operating System

non Windows

[cmb69]

Thanks for reporting this issue, @cmb69! As you've already mentioned, it would make sense to add this UPGRADING now, so I'm transferring this ticket to doc-en.