Wikimedia Bugzilla is closed!

In EditPage.php, at
	$wgOut->addHTML( '<div id="spamprotected">' );
	$wgOut->addWikiMsg( 'spamprotectiontext' );
	if ( $match )
		$wgOut->addWikiMsg( 'spamprotectionmatch', wfEscapeWikiText( $match ) );
	$wgOut->addHTML( '</div>' );
	$wgOut->returnToMain( false, $wgTitle );
The problem is, if the user clicks the link that you offer on that last
line above, they will lose all their changes!
It would be much more humane to tell the to "first try your browser's
BACK key, and only if that doesn't work, try this...".