mirror of
https://github.com/php/php-src.git
synced 2026-04-11 01:53:36 +02:00
in search result. (Jani) # This was actually the original behaviour and the correct one. # I messed it up when I fixed another bug in it a while ago.. # Fixes bug #8054