Index: includes/EditPage.php =================================================================== --- includes/EditPage.php (revision 14290) +++ includes/EditPage.php (working copy) @@ -893,16 +893,16 @@ if ( $wgUser->isAllowed('minoredit') ) { $minoredithtml = "minoredit?" checked='checked'":""). - " accesskey='".wfMsg('accesskey-minoredit')."' id='wpMinoredit' />". + " accesskey='".wfMsg('accesskey-minoredit')."' id='wpMinoredit' />\n". ""; } $watchhtml = ''; if ( $wgUser->isLoggedIn() ) { - $watchhtml = "watchthis?" checked='checked'":""). - " accesskey=\"".htmlspecialchars(wfMsg('accesskey-watch'))."\" id='wpWatchthis' />". + " accesskey=\"".htmlspecialchars(wfMsg('accesskey-watch'))."\" id='wpWatchthis' />\n". ""; }