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".
"";
}