mirror of
https://github.com/php/php-src.git
synced 2026-04-22 07:28:09 +02:00
574a7e7ef8
ref: https://github.com/php/doc-en/pull/2331#issuecomment-1448984096 Closes GH-10760.