# 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' />
'showtoolbar',
'previewonfirst',
'previewontop',
+ 'watchcreations',
'watchdefault',
'minordefault',
'externaleditor',
'externaldiff',
- $wgLivePreview ? 'uselivepreview' : false, )
- ) . '</fieldset>'
+ $wgLivePreview ? 'uselivepreview' : false,
+ $wgUser->isAllowed( 'patrol' ) && $wgUseRCPatrol ? 'autopatrol' : false,
+ 'forceeditsummary',
+ ) ) . '</fieldset>'
);
+ $this->mUsedToggles['autopatrol'] = true; # Don't show this up for users who can't; the handler below is dumb and doesn't know it
$wgOut->addHTML( '<fieldset><legend>' . htmlspecialchars(wfMsg('prefs-rc')) . '</legend>' .
'<label for="wpRecent">' . wfMsg ( 'recentchangescount' ) .