}
function execute() {
- global $wgUser, $wgOut, $wgUseDynamicDates;
+ global $wgUser, $wgOut;
if ( $wgUser->isAnon() ) {
$wgOut->errorpage( 'prefsnologin', 'prefsnologintext' );
* @access private
*/
function mainPrefsForm( $err ) {
- global $wgUser, $wgOut, $wgLang, $wgContLang, $wgUseDynamicDates, $wgValidSkinNames;
+ global $wgUser, $wgOut, $wgLang, $wgContLang, $wgValidSkinNames;
global $wgAllowRealName, $wgImageLimits;
global $wgLanguageNames, $wgDisableLangConversion;
global $wgEmailNotificationForWatchlistPages, $wgEmailNotificationForUserTalkPages,$wgEmailNotificationForMinorEdits;
# Date format
#
- if ( $wgUseDynamicDates ) {
+
+ if ($dateopts) {
$wgOut->addHTML( "<fieldset>\n<legend>$dateFormat</legend>\n" );
- for ( $i = 0; $i < count( $dateopts ); ++$i) {
- if ( $i == $this->mDate ) {
- $checked = ' checked="checked"';
- } else {
- $checked = "";
- }
+ foreach($dateopts as $key => $option) {
+ ($key == $this->mDate) ? $checked = ' checked="checked"' : $checked = '';
$wgOut->addHTML( "<div><label><input type='radio' name=\"wpDate\" ".
- "value=\"$i\"$checked /> {$dateopts[$i]}</label></div>\n" );
+ "value=\"$key\"$checked />$option</label></div>\n" );
}
$wgOut->addHTML( "</fieldset>\n\n");
}
$this->getToggle( "previewonfirst" ) .
$this->getToggle( "previewontop" ) .
$this->getToggle( "watchdefault" ) .
- $this->getToggle( "minordefault" ) . "
+ $this->getToggle( "minordefault" ) .
+ $this->getToggle( "externaleditor" ) .
+ "
</fieldset>
<fieldset>