Editing: HTMLPurifier.path.php