Editing: wp-diff.php