patch
Public
Actions

Authored By

	• bzimport
	Nov 21 2014, 9:16 PM

Size

1 KB

Referenced Files

None

Subscribers

None

patch
View Options

	Index: includes/EditPage.php
	===================================================================
	--- includes/EditPage.php (revision 14290)
	+++ includes/EditPage.php (working copy)
	@@ -893,16 +893,16 @@
	if ( $wgUser->isAllowed('minoredit') ) {
	$minoredithtml =
	"<input tabindex='3' type='checkbox' value='1' name='wpMinoredit'".($this->minoredit?" checked='checked'":"").
	- " accesskey='".wfMsg('accesskey-minoredit')."' id='wpMinoredit' />".
	+ " accesskey='".wfMsg('accesskey-minoredit')."' id='wpMinoredit' />\n".
	"<label for='wpMinoredit' title='".wfMsg('tooltip-minoredit')."'>{$minor}</label>";
	}

	$watchhtml = '';

	if ( $wgUser->isLoggedIn() ) {
	- $watchhtml = "<input tabindex='4' type='checkbox' name='wpWatchthis'".
	+ $watchhtml = "\n<input tabindex='4' type='checkbox' name='wpWatchthis'".
	($this->watchthis?" checked='checked'":"").
	- " accesskey=\"".htmlspecialchars(wfMsg('accesskey-watch'))."\" id='wpWatchthis' />".
	+ " accesskey=\"".htmlspecialchars(wfMsg('accesskey-watch'))."\" id='wpWatchthis' />\n".
	"<label for='wpWatchthis' title=\"" .
	htmlspecialchars(wfMsg('tooltip-watch'))."\">{$watchthis}</label>";
	}