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