Fixed backslash in php.tcls