* tests/php/spatch/regexp.spatch: fix