Sanitize some php