Whitespace Obfuscator for PHP