Translations:Manual:DeleteRevision.php/12/en

This displays a list of revisions for the according page (here for page 4711), sorted by rev_id. Scroll down to the problematic revision and fix its rev_parent_id value so that it points to the previous revision (rev_id value of the next-older row in the result set).