From 722fc4d554b95c0e4c1ff4af4a2e823492743068 Mon Sep 17 00:00:00 2001
From: Bogdan Stancescu <b_stancescu@users.mediawiki.org>
Date: Sat, 16 Aug 2003 22:53:30 +0000
Subject: [PATCH] Added label tags for wcMinoredit and wcWatchthispage checkbox
 labels

---
 includes/EditPage.php | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/includes/EditPage.php b/includes/EditPage.php
index 367e068faf..f52905335f 100644
--- a/includes/EditPage.php
+++ b/includes/EditPage.php
@@ -252,8 +252,10 @@ class EditPage {
 		
 		if ( 0 != $wgUser->getID() ) {
 			$checkboxhtml=
-			"<input tabindex=3 type=checkbox value=1 name='wpMinoredit'".($wpMinoredit?" checked":"").">{$minor}".
-			"<input tabindex=4 type=checkbox name='wpWatchthis'".($wpWatchthis?" checked":"").">{$watchthis}<br>";
+			"<input tabindex=3 type=checkbox value=1 name='wpMinoredit'".($wpMinoredit?" checked":"")." id='wpMinoredit'>".
+			"<label for='wpMinoredit'>{$minor}</label>".
+			"<input tabindex=4 type=checkbox name='wpWatchthis'".($wpWatchthis?" checked":"")." id='wpWatchthis'>".
+			"<label for='wpWatchthis'>{$watchthis}</label><br>";
 			
 		} else {
 			$checkboxhtml="";
-- 
2.20.1