mirror of
https://github.com/php/php-src.git
synced 2026-03-24 08:12:21 +01: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.