EncryptedPickle PHP class