accesskey w for watch this page checkbox, hardcoded for now

diff --git a/includes/EditPage.php b/includes/EditPage.php
index 5e6df2b..6caed3d 100644 (file)
--- a/includes/EditPage.php
+++ b/includes/EditPage.php
@@ -305,7 +305,8 @@ class EditPage {
                $watchhtml = "";
 
                if ( 0 != $wgUser->getID() ) {
-                       $watchhtml = "<input tabindex='4' type='checkbox' name='wpWatchthis'".($this->watchthis?" checked":"")." id='wpWatchthis' />".
+                       $watchhtml = "<input tabindex='4' type='checkbox' name='wpWatchthis'".($this->watchthis?" checked='checked'":"").
+                       " accesskey='w' id='wpWatchthis'  />".
                        "<label for='wpWatchthis'>{$watchthis}</label>";
                }