Fix Sanitize.php error for PHP version below 5.4