A simple PHP obfuscator