Learning from PHP Sanitize Input Example: Validating URLs