De-obfuscation of PHP scrips, with or without extensions