patch from tom
[lhc/web/wiklou.git] / includes / SpecialPreferences.php
1 <?php
2 /**
3 * Hold things related to displaying and saving user preferences.
4 * @package MediaWiki
5 * @subpackage SpecialPage
6 */
7
8 /* to get a list of languages in setting user's language preference */
9 require_once('languages/Names.php');
10
11 /**
12 * Entry point that create the "Preferences" object
13 */
14 function wfSpecialPreferences() {
15 global $wgRequest;
16
17 $form = new PreferencesForm( $wgRequest );
18 $form->execute();
19 }
20
21 /**
22 * Preferences form handling
23 * This object will show the preferences form and can save it as well.
24 * @package MediaWiki
25 * @subpackage SpecialPage
26 */
27 class PreferencesForm {
28 var $mQuickbar, $mOldpass, $mNewpass, $mRetypePass, $mStubs;
29 var $mRows, $mCols, $mSkin, $mMath, $mDate, $mUserEmail, $mEmailFlag, $mNick;
30 var $mUserLanguage, $mUserVariant;
31 var $mSearch, $mRecent, $mHourDiff, $mSearchLines, $mSearchChars, $mAction;
32 var $mReset, $mPosted, $mToggles, $mSearchNs, $mRealName, $mImageSize;
33
34 /**
35 * Constructor
36 * Load some values
37 */
38 function PreferencesForm( &$request ) {
39 global $wgLang, $wgContLang, $wgAllowRealName;
40
41 $this->mQuickbar = $request->getVal( 'wpQuickbar' );
42 $this->mOldpass = $request->getVal( 'wpOldpass' );
43 $this->mNewpass = $request->getVal( 'wpNewpass' );
44 $this->mRetypePass =$request->getVal( 'wpRetypePass' );
45 $this->mStubs = $request->getVal( 'wpStubs' );
46 $this->mRows = $request->getVal( 'wpRows' );
47 $this->mCols = $request->getVal( 'wpCols' );
48 $this->mSkin = $request->getVal( 'wpSkin' );
49 $this->mMath = $request->getVal( 'wpMath' );
50 $this->mDate = $request->getVal( 'wpDate' );
51 $this->mUserEmail = $request->getVal( 'wpUserEmail' );
52 $this->mRealName = ($wgAllowRealName) ? $request->getVal( 'wpRealName' ) : '';
53 $this->mEmailFlag = $request->getCheck( 'wpEmailFlag' ) ? 1 : 0;
54 $this->mNick = $request->getVal( 'wpNick' );
55 $this->mUserLanguage = $request->getVal( 'wpUserLanguage' );
56 $this->mUserVariant = $request->getVal( 'wpUserVariant' );
57 $this->mSearch = $request->getVal( 'wpSearch' );
58 $this->mRecent = $request->getVal( 'wpRecent' );
59 $this->mHourDiff = $request->getVal( 'wpHourDiff' );
60 $this->mSearchLines = $request->getVal( 'wpSearchLines' );
61 $this->mSearchChars = $request->getVal( 'wpSearchChars' );
62 $this->mImageSize = $request->getVal( 'wpImageSize' );
63
64 $this->mAction = $request->getVal( 'action' );
65 $this->mReset = $request->getCheck( 'wpReset' );
66 $this->mPosted = $request->wasPosted();
67 $this->mSaveprefs = $request->getCheck( 'wpSaveprefs' ) && $this->mPosted;
68
69 # User toggles (the big ugly unsorted list of checkboxes)
70 $this->mToggles = array();
71 if ( $this->mPosted ) {
72 $togs = $wgLang->getUserToggles();
73 foreach ( $togs as $tname ) {
74 $this->mToggles[$tname] = $request->getCheck( "wpOp$tname" ) ? 1 : 0;
75 }
76 }
77
78 $this->mUsedToggles = array();
79
80 # Search namespace options
81 # Note: namespaces don't necessarily have consecutive keys
82 $this->mSearchNs = array();
83 if ( $this->mPosted ) {
84 $namespaces = $wgContLang->getNamespaces();
85 foreach ( $namespaces as $i => $namespace ) {
86 if ( $i >= 0 ) {
87 $this->mSearchNs[$i] = $request->getCheck( "wpNs$i" ) ? 1 : 0;
88 }
89 }
90 }
91 }
92
93 function execute() {
94 global $wgUser, $wgOut, $wgUseDynamicDates;
95
96 if ( 0 == $wgUser->getID() ) {
97 $wgOut->errorpage( 'prefsnologin', 'prefsnologintext' );
98 return;
99 }
100 if ( wfReadOnly() ) {
101 $wgOut->readOnlyPage();
102 return;
103 }
104 if ( $this->mReset ) {
105 $this->resetPrefs();
106 $this->mainPrefsForm( wfMsg( 'prefsreset' ) );
107 } else if ( $this->mSaveprefs ) {
108 $this->savePreferences();
109 } else {
110 $this->resetPrefs();
111 $this->mainPrefsForm( '' );
112 }
113 }
114
115 /**
116 * @access private
117 */
118 function validateInt( &$val, $min=0, $max=0x7fffffff ) {
119 $val = intval($val);
120 $val = min($val, $max);
121 $val = max($val, $min);
122 return $val;
123 }
124
125 /**
126 * @access private
127 */
128 function validateIntOrNull( &$val, $min=0, $max=0x7fffffff ) {
129 $val = trim($val);
130 if($val === '') {
131 return $val;
132 } else {
133 return $this->validateInt( $val, $min, $max );
134 }
135 }
136
137 /**
138 * @access private
139 */
140 function validateTimeZone( $s ) {
141 if ( $s !== '' ) {
142 if ( strpos( $s, ':' ) ) {
143 # HH:MM
144 $array = explode( ':' , $s );
145 $hour = intval( $array[0] );
146 $minute = intval( $array[1] );
147 } else {
148 $minute = intval( $s * 60 );
149 $hour = intval( $minute / 60 );
150 $minute = abs( $minute ) % 60;
151 }
152 $hour = min( $hour, 15 );
153 $hour = max( $hour, -15 );
154 $minute = min( $minute, 59 );
155 $minute = max( $minute, 0 );
156 $s = sprintf( "%02d:%02d", $hour, $minute );
157 }
158 return $s;
159 }
160
161 /**
162 * @access private
163 */
164 function savePreferences() {
165 global $wgUser, $wgLang, $wgDeferredUpdateList, $wgOut;
166
167 if ( '' != $this->mNewpass ) {
168 if ( $this->mNewpass != $this->mRetypePass ) {
169 $this->mainPrefsForm( wfMsg( 'badretype' ) );
170 return;
171 }
172
173 if (!$wgUser->checkPassword( $this->mOldpass )) {
174 $this->mainPrefsForm( wfMsg( 'wrongpassword' ) );
175 return;
176 }
177 $wgUser->setPassword( $this->mNewpass );
178 }
179 $wgUser->setEmail( $this->mUserEmail );
180 $wgUser->setRealName( $this->mRealName );
181 $wgUser->setOption( 'language', $this->mUserLanguage );
182 $wgUser->setOption( 'variant', $this->mUserVariant );
183 $wgUser->setOption( 'nickname', $this->mNick );
184 $wgUser->setOption( 'quickbar', $this->mQuickbar );
185 $wgUser->setOption( 'skin', $this->mSkin );
186 $wgUser->setOption( 'math', $this->mMath );
187 $wgUser->setOption( 'date', $this->mDate );
188 $wgUser->setOption( 'searchlimit', $this->validateIntOrNull( $this->mSearch ) );
189 $wgUser->setOption( 'contextlines', $this->validateIntOrNull( $this->mSearchLines ) );
190 $wgUser->setOption( 'contextchars', $this->validateIntOrNull( $this->mSearchChars ) );
191 $wgUser->setOption( 'rclimit', $this->validateIntOrNull( $this->mRecent ) );
192 $wgUser->setOption( 'rows', $this->validateInt( $this->mRows, 4, 1000 ) );
193 $wgUser->setOption( 'cols', $this->validateInt( $this->mCols, 4, 1000 ) );
194 $wgUser->setOption( 'stubthreshold', $this->validateIntOrNull( $this->mStubs ) );
195 $wgUser->setOption( 'timecorrection', $this->validateTimeZone( $this->mHourDiff, -12, 14 ) );
196 $wgUser->setOption( 'imagesize', $this->mImageSize );
197
198 # Set search namespace options
199 foreach( $this->mSearchNs as $i => $value ) {
200 $wgUser->setOption( "searchNs{$i}", $value );
201 }
202
203 $wgUser->setOption( 'disablemail', $this->mEmailFlag );
204
205 # Set user toggles
206 foreach ( $this->mToggles as $tname => $tvalue ) {
207 $wgUser->setOption( $tname, $tvalue );
208 }
209 $wgUser->setCookies();
210 $up = new UserUpdate();
211 array_push( $wgDeferredUpdateList, $up );
212 $wgOut->setParserOptions( ParserOptions::newFromUser( $wgUser ) );
213 $po = ParserOptions::newFromUser( $wgUser );
214 $this->mainPrefsForm( wfMsg( 'savedprefs' ) );
215 }
216
217 /**
218 * @access private
219 */
220 function resetPrefs() {
221 global $wgUser, $wgLang, $wgContLang, $wgAllowRealName;
222
223 $this->mOldpass = $this->mNewpass = $this->mRetypePass = '';
224 $this->mUserEmail = $wgUser->getEmail();
225 $this->mRealName = ($wgAllowRealName) ? $wgUser->getRealName() : '';
226 $this->mUserLanguage = $wgUser->getOption( 'language');
227 $this->mUserVariant = $wgUser->getOption( 'variant');
228 if ( 1 == $wgUser->getOption( 'disablemail' ) ) { $this->mEmailFlag = 1; }
229 else { $this->mEmailFlag = 0; }
230 $this->mNick = $wgUser->getOption( 'nickname' );
231
232 $this->mQuickbar = $wgUser->getOption( 'quickbar' );
233 $this->mSkin = $wgUser->getOption( 'skin' );
234 $this->mMath = $wgUser->getOption( 'math' );
235 $this->mDate = $wgUser->getOption( 'date' );
236 $this->mRows = $wgUser->getOption( 'rows' );
237 $this->mCols = $wgUser->getOption( 'cols' );
238 $this->mStubs = $wgUser->getOption( 'stubthreshold' );
239 $this->mHourDiff = $wgUser->getOption( 'timecorrection' );
240 $this->mSearch = $wgUser->getOption( 'searchlimit' );
241 $this->mSearchLines = $wgUser->getOption( 'contextlines' );
242 $this->mSearchChars = $wgUser->getOption( 'contextchars' );
243 $this->mImageSize = $wgUser->getOption( 'imagesize' );
244 $this->mRecent = $wgUser->getOption( 'rclimit' );
245
246 $togs = $wgLang->getUserToggles();
247 foreach ( $togs as $tname ) {
248 $ttext = wfMsg('tog-'.$tname);
249 $this->mToggles[$tname] = $wgUser->getOption( $tname );
250 }
251
252 $namespaces = $wgContLang->getNamespaces();
253 foreach ( $namespaces as $i => $namespace ) {
254 if ( $i >= 0 ) {
255 $this->mSearchNs[$i] = $wgUser->getOption( 'searchNs'.$i );
256 }
257 }
258 }
259
260 /**
261 * @access private
262 */
263 function namespacesCheckboxes() {
264 global $wgContLang, $wgUser;
265
266 # Determine namespace checkboxes
267 $namespaces = $wgContLang->getNamespaces();
268 $r1 = '';
269
270 foreach ( $namespaces as $i => $name ) {
271 # Skip special or anything similar
272 if ( $i >= 0 ) {
273 $checked = '';
274 if ( $this->mSearchNs[$i] ) {
275 $checked = ' checked="checked"';
276 }
277 $name = str_replace( '_', ' ', $namespaces[$i] );
278 if ( '' == $name ) {
279 $name = wfMsg( 'blanknamespace' );
280 }
281
282 if ( 0 != $i ) {
283 $r1 .= ' ';
284 }
285 $r1 .= "<label><input type='checkbox' value=\"1\" name=\"" .
286 "wpNs$i\"{$checked} />{$name}</label>\n";
287 }
288 }
289
290 return $r1;
291 }
292
293
294 function getToggle( $tname ) {
295 global $wgUser, $wgLang;
296
297 $this->mUsedToggles[$tname] = true;
298 $ttext = $wgLang->getUserToggle( $tname );
299
300 if ( 1 == $wgUser->getOption( $tname ) ) {
301 $checked = ' checked="checked"';
302 } else {
303 $checked = '';
304 }
305 return "<div><input type='checkbox' value=\"1\" "
306 . "id=\"$tname\" name=\"wpOp$tname\"$checked /><label for=\"$tname\">$ttext</label></div>\n";
307 }
308
309 /**
310 * @access private
311 */
312 function mainPrefsForm( $err ) {
313 global $wgUser, $wgOut, $wgLang, $wgContLang, $wgUseDynamicDates, $wgValidSkinNames;
314 global $wgAllowRealName, $wgImageLimits;
315 global $wgLanguageNames;
316
317 $wgOut->setPageTitle( wfMsg( 'preferences' ) );
318 $wgOut->setArticleRelated( false );
319 $wgOut->setRobotpolicy( 'noindex,nofollow' );
320
321 if ( '' != $err ) {
322 $wgOut->addHTML( "<p class='error'>" . htmlspecialchars( $err ) . "</p>\n" );
323 }
324 $uname = $wgUser->getName();
325 $uid = $wgUser->getID();
326
327 $wgOut->addWikiText( wfMsg( 'prefslogintext', $uname, $uid ) );
328 $wgOut->addWikiText( wfMsg('clearyourcache'));
329
330 $qbs = $wgLang->getQuickbarSettings();
331 $skinNames = $wgLang->getSkinNames();
332 $mathopts = $wgLang->getMathNames();
333 $dateopts = $wgLang->getDateFormats();
334 $togs = $wgLang->getUserToggles();
335
336 $titleObj = Title::makeTitle( NS_SPECIAL, 'Preferences' );
337 $action = $titleObj->escapeLocalURL();
338
339 $qb = wfMsg( 'qbsettings' );
340 $cp = wfMsg( 'changepassword' );
341 $sk = wfMsg( 'skin' );
342 $math = wfMsg( 'math' );
343 $dateFormat = wfMsg('dateformat');
344 $opw = wfMsg( 'oldpassword' );
345 $npw = wfMsg( 'newpassword' );
346 $rpw = wfMsg( 'retypenew' );
347 $svp = wfMsg( 'saveprefs' );
348 $rsp = wfMsg( 'resetprefs' );
349 $tbs = wfMsg( 'textboxsize' );
350 $tbr = wfMsg( 'rows' );
351 $tbc = wfMsg( 'columns' );
352 $ltz = wfMsg( 'localtime' );
353 $timezone = wfMsg( 'timezonelegend' );
354 $tzt = wfMsg( 'timezonetext' );
355 $tzo = wfMsg( 'timezoneoffset' );
356 $tzGuess = wfMsg( 'guesstimezone' );
357 $tzServerTime = wfMsg( 'servertime' );
358 $yem = wfMsg( 'youremail' );
359 $yrn = ($wgAllowRealName) ? wfMsg( 'yourrealname' ) : '';
360 $yl = wfMsg( 'yourlanguage' );
361 $yv = wfMsg( 'yourvariant' );
362 $emf = wfMsg( 'emailflag' );
363 $ynn = wfMsg( 'yournick' );
364 $stt = wfMsg ( 'stubthreshold' ) ;
365 $srh = wfMsg( 'searchresultshead' );
366 $rpp = wfMsg( 'resultsperpage' );
367 $scl = wfMsg( 'contextlines' );
368 $scc = wfMsg( 'contextchars' );
369 $rcc = wfMsg( 'recentchangescount' );
370 $dsn = wfMsg( 'defaultns' );
371
372 $wgOut->addHTML( "<form id=\"preferences\" name=\"preferences\" action=\"$action\"
373 method=\"post\">" );
374
375 # First section: identity
376 # Email, etc.
377 #
378 $this->mUserEmail = htmlspecialchars( $this->mUserEmail );
379 $this->mRealName = htmlspecialchars( $this->mRealName );
380 $this->mNick = htmlspecialchars( $this->mNick );
381 if ( $this->mEmailFlag ) { $emfc = 'checked="checked"'; }
382 else { $emfc = ''; }
383
384 $ps = $this->namespacesCheckboxes();
385
386 $wgOut->addHTML( "<fieldset>
387 <legend>".wfMsg('prefs-personal')."</legend>");
388 if ($wgAllowRealName) {
389 $wgOut->addHTML("<div><label>$yrn: <input type='text' name=\"wpRealName\" value=\"{$this->mRealName}\" size='20' /></label></div>");
390 }
391 $wgOut->addHTML("
392 <div><label>$yem: <input type='text' name=\"wpUserEmail\" value=\"{$this->mUserEmail}\" size='20' /></label></div>
393 <div><label><input type='checkbox' $emfc value=\"1\" name=\"wpEmailFlag\" /> $emf</label></div>
394 <div><label>$ynn: <input type='text' name=\"wpNick\" value=\"{$this->mNick}\" size='12' /></label></div>
395 <div><label>$yl: <select name=\"wpUserLanguage\">\n");
396
397 foreach($wgLanguageNames as $code => $name) {
398 global $IP;
399 /* only add languages that have a file */
400 $langfile="$IP/languages/Language".str_replace('-', '_', ucfirst($code)).".php";
401 if(file_exists($langfile)) {
402 $sel = ($code == $this->mUserLanguage)? 'selected="selected"' : '';
403 $wgOut->addHtml("\t<option value=\"$code\" $sel>$code - $name</option>\n");
404 }
405 }
406 $wgOut->addHtml("</select></label></div>\n" );
407
408 /* see if there are multiple language variants to choose from*/
409 $variants = $wgContLang->getVariants();
410 $size=sizeof($variants);
411
412 $variantArray=array();
413 foreach($variants as $v) {
414 $v = str_replace( '_', '-', strtolower($v));
415 if($name=$wgLanguageNames[$v]) {
416 $variantArray[$v] = $name;
417 }
418 }
419 $size=sizeof($variantArray);
420
421 if(sizeof($variantArray) > 1) {
422 $wgOut->addHtml("
423 <div><label>$yv: <select name=\"wpUserVariant\">\n");
424 foreach($variantArray as $code => $name) {
425 $sel = ($code==$this->mUserVariant)? 'selected="selected"' : '';
426 $wgOut->addHtml("\t<option value=\"$code\" $sel>$code - $name</option>\n");
427 }
428 $wgOut->addHtml("</select></label></div>\n");
429 }
430
431 # Fields for changing password
432 #
433 $this->mOldpass = htmlspecialchars( $this->mOldpass );
434 $this->mNewpass = htmlspecialchars( $this->mNewpass );
435 $this->mRetypePass = htmlspecialchars( $this->mRetypePass );
436
437 $wgOut->addHTML( "<fieldset>
438 <legend>$cp</legend>
439 <div><label>$opw: <input type='password' name=\"wpOldpass\" value=\"{$this->mOldpass}\" size='20' /></label></div>
440 <div><label>$npw: <input type='password' name=\"wpNewpass\" value=\"{$this->mNewpass}\" size='20' /></label></div>
441 <div><label>$rpw: <input type='password' name=\"wpRetypePass\" value=\"{$this->mRetypePass}\" size='20' /></label></div>
442 " . $this->getToggle( "rememberpassword" ) . "
443 </fieldset>
444 <div class='prefsectiontip'>".wfMsg('prefs-help-userdata')."</div>\n</fieldset>\n" );
445
446
447 # Quickbar setting
448 #
449 $wgOut->addHtml( "<fieldset>\n<legend>$qb</legend>\n" );
450 for ( $i = 0; $i < count( $qbs ); ++$i ) {
451 if ( $i == $this->mQuickbar ) { $checked = ' checked="checked"'; }
452 else { $checked = ""; }
453 $wgOut->addHTML( "<div><label><input type='radio' name=\"wpQuickbar\"
454 value=\"$i\"$checked /> {$qbs[$i]}</label></div>\n" );
455 }
456 $wgOut->addHtml('<div class="prefsectiontip">'.wfMsg('qbsettingsnote').'</div>');
457 $wgOut->addHtml( "</fieldset>\n\n" );
458
459 # Skin setting
460 #
461 $wgOut->addHTML( "<fieldset>\n<legend>$sk</legend>\n" );
462 # Only show members of $wgValidSkinNames rather than
463 # $skinNames (skins is all skin names from Language.php)
464 foreach ($wgValidSkinNames as $skinkey => $skinname ) {
465 if ( $skinkey == $this->mSkin ) {
466 $checked = ' checked="checked"';
467 } else {
468 $checked = '';
469 }
470 if ( isset( $skinNames[$skinkey] ) ) {
471 $sn = $skinNames[$skinkey];
472 } else {
473 $sn = $skinname;
474 }
475 $wgOut->addHTML( "<div><label><input type='radio' name=\"wpSkin\"
476 value=\"$skinkey\"$checked /> {$sn}</label></div>\n" );
477 }
478 $wgOut->addHTML( "</fieldset>\n\n" );
479
480 # Math setting
481 #
482 $wgOut->addHTML( "<fieldset>\n<legend>$math</legend>\n" );
483 for ( $i = 0; $i < count( $mathopts ); ++$i ) {
484 if ( $i == $this->mMath ) { $checked = ' checked="checked"'; }
485 else { $checked = ""; }
486 $wgOut->addHTML( "<div><label><input type='radio' name=\"wpMath\"
487 value=\"$i\"$checked /> ".wfMsg($mathopts[$i])."</label></div>\n" );
488 }
489 $wgOut->addHTML( "</fieldset>\n\n" );
490
491 # Date format
492 #
493 if ( $wgUseDynamicDates ) {
494 $wgOut->addHTML( "<fieldset>\n<legend>$dateFormat</legend>\n" );
495 for ( $i = 0; $i < count( $dateopts ); ++$i) {
496 if ( $i == $this->mDate ) {
497 $checked = ' checked="checked"';
498 } else {
499 $checked = "";
500 }
501 $wgOut->addHTML( "<div><label><input type='radio' name=\"wpDate\" ".
502 "value=\"$i\"$checked /> {$dateopts[$i]}</label></div>\n" );
503 }
504 $wgOut->addHTML( "</fieldset>\n\n");
505 }
506
507 # Textbox rows, cols
508 #
509 $nowlocal = $wgLang->time( $now = wfTimestampNow(), true );
510 $nowserver = $wgLang->time( $now, false );
511 $wgOut->addHTML( "<fieldset>
512 <legend>$tbs</legend>\n
513 <div>
514 <label>$tbr: <input type='text' name=\"wpRows\" value=\"{$this->mRows}\" size='6' /></label>
515 <label>$tbc: <input type='text' name=\"wpCols\" value=\"{$this->mCols}\" size='6' /></label>
516 </div> " .
517 $this->getToggle( "editwidth" ) .
518 $this->getToggle( "showtoolbar" ) .
519 $this->getToggle( "previewonfirst" ) .
520 $this->getToggle( "previewontop" ) .
521 $this->getToggle( "watchdefault" ) .
522 $this->getToggle( "minordefault" ) . "
523 </fieldset>
524
525 <fieldset>
526 <legend>$timezone</legend>
527 <div><b>$tzServerTime:</b> $nowserver</div>
528 <div><b>$ltz:</b> $nowlocal</div>
529 <div><label>$tzo*: <input type='text' name=\"wpHourDiff\" value=\"{$this->mHourDiff}\" size='6' /></label></div>
530 <div><input type=\"button\" value=\"$tzGuess\" onclick=\"javascript:guessTimezone()\" id=\"guesstimezonebutton\" style=\"display:none\" /></div>
531 <div class='prefsectiontip'>* {$tzt}</div>
532 </fieldset>\n\n" );
533
534 $wgOut->addHTML( "
535 <fieldset><legend>".wfMsg('prefs-rc')."</legend>
536 <div><label>$rcc: <input type='text' name=\"wpRecent\" value=\"$this->mRecent\" size='6' /></label></div>
537 " . $this->getToggle( "hideminor" ) .
538 $this->getToggle( "usenewrc" ) . "
539 <div><label>$stt: <input type='text' name=\"wpStubs\" value=\"$this->mStubs\" size='6' /></label></div>
540 <div><label>".wfMsg('imagemaxsize')."<select name=\"wpImageSize\">");
541
542 $imageLimitOptions='';
543 foreach ( $wgImageLimits as $index => $limits ) {
544 $selected = ($index == $this->mImageSize) ? 'selected="selected"' : '';
545 $imageLimitOptions .= "<option value=\"{$index}\" {$selected}>{$limits[0]}x{$limits[1]}</option>\n";
546 }
547 $wgOut->addHTML( "{$imageLimitOptions}</select></label></div>
548
549 </fieldset>
550
551 <fieldset>
552 <legend>$srh</legend>
553 <div><label>$rpp: <input type='text' name=\"wpSearch\" value=\"$this->mSearch\" size='6' /></label></div>
554 <div><label>$scl: <input type='text' name=\"wpSearchLines\" value=\"$this->mSearchLines\" size='6' /></label></div>
555 <div><label>$scc: <input type='text' name=\"wpSearchChars\" value=\"$this->mSearchChars\" size='6' /></label></div>
556
557 <fieldset>
558 <legend>$dsn</legend>
559 $ps
560 </fieldset>
561 </fieldset>
562 " );
563
564 # Various checkbox options
565 #
566 $wgOut->addHTML("<fieldset><legend>".wfMsg('prefs-misc')."</legend>");
567 foreach ( $togs as $tname ) {
568 if( !array_key_exists( $tname, $this->mUsedToggles ) ) {
569 $wgOut->addHTML( $this->getToggle( $tname ) );
570 }
571 }
572 $wgOut->addHTML( "</fieldset>\n\n" );
573
574 $wgOut->addHTML( "
575 <div id='prefsubmit'>
576 <div>
577 <input type='submit' name=\"wpSaveprefs\" value=\"$svp\" accesskey=\"".
578 wfMsg('accesskey-save')."\" title=\"[alt-".wfMsg('accesskey-save')."]\" />
579 <input type='submit' name=\"wpReset\" value=\"$rsp\" />
580 </div>
581
582 </div>
583
584 </form>\n" );
585 }
586 }
587 ?>