From 3a0172d89c01b711d896eaba81bd9a5f15b29625 Mon Sep 17 00:00:00 2001 From: Gabriel Wicke Date: Fri, 9 Apr 2004 18:16:29 +0000 Subject: [PATCH] accesskey w for watch this page checkbox, hardcoded for now --- includes/EditPage.php | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/includes/EditPage.php b/includes/EditPage.php index 5e6df2bc6f..6caed3d5c2 100644 --- a/includes/EditPage.php +++ b/includes/EditPage.php @@ -305,7 +305,8 @@ class EditPage { $watchhtml = ""; if ( 0 != $wgUser->getID() ) { - $watchhtml = "watchthis?" checked":"")." id='wpWatchthis' />". + $watchhtml = "watchthis?" checked='checked'":""). + " accesskey='w' id='wpWatchthis' />". ""; } -- 2.20.1