Editing: class-wp-exception.php