Thijs/wiki.techinc.nl
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Don't show the autopatrol preference if recent changes patrol is disabled

Browse source
This commit is contained in:
Rob Church 2006-03-25 15:57:50 +00:00
parent 8902bcff5b
commit e052c4f566
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
includes/SpecialPreferences.php
View file

@ -798,7 +798,7 @@ class PreferencesForm {
# Editing
#
global $wgLivePreview;
global $wgLivePreview, $wgUseRCPatrol;
$wgOut->addHTML( '<fieldset><legend>' . wfMsg( 'textboxsize' ) . '</legend>
<div>
<label for="wpRows">' . wfMsg( 'rows' ) . "</label> <input type='text' name='wpRows' id='wpRows' value=\"{$this->mRows}\" size='3' />
@ -818,7 +818,7 @@ class PreferencesForm {
'externaleditor',
'externaldiff',
$wgLivePreview ? 'uselivepreview' : false,
$wgUser->isAllowed( 'patrol' ) ? 'autopatrol' : false,
$wgUser->isAllowed( 'patrol' ) && $wgUseRCPatrol ? 'autopatrol' : false,
'forceeditsummary',
) ) . '</fieldset>'
);