chris-at-github
6/25/2013 - 7:46 AM

Doppelte Zeichen entfernen

preg_replace('#[/\\\\]+#', '/', $STRING);