PHP obfuscator gets it's ignored identifiers from an "obfuscator.xml" file