Decoding a User Space Encoded PHP Script