Enable case sensitive search in 'with-php-mode-test'

We can avoid 7fac0db190797c9ae15b4a3028192824c4e8301f case with this fix.