It doesn't matter -- PHP's IO functions will internally convert slashes to the appropriate character.