Editing: wp-list-revisions.js