I looked the code for rlike and didn't find where it does this. Can you point me to it?
$pattern = preg_replace( '!(\\\\\\\\)*(\\\\)?/!', '$1\/', $pattern );
(line 212 as of current revision)
I thought that was ascii art :)