History log of /PHP-8.1/Zend/tests/ignore_repeated_source.phpt (Results 1 – 1 of 1)
Revision Date Author Comments
# 4c171ed5 04-Nov-2021 Nikita Popov

Fix bug #81591: ignore_repeated_errors broken

We should suppress the error if the message is the same, not if
it's different. Apparently we had no test coverage for these
options.