mirror of
https://github.com/php/php-src.git
synced 2026-04-04 06:32:49 +02:00
This makes the behavior consistent with `--ri`, and is likely useful for scripting. Closes GH-7221.
This makes the behavior consistent with `--ri`, and is likely useful for scripting. Closes GH-7221.