Changing comments layout preparing for generated documentation with Phpdocumentor
[lhc/web/wiklou.git] / includes / SpecialUserlogout.php
1 <?php
2 /**
3 *
4 */
5
6 /**
7 * constructor
8 */
9 function wfSpecialUserlogout() {
10 global $wgUser, $wgOut, $returnto;
11
12 $wgUser->logout();
13 $wgOut->mCookies = array();
14 $wgOut->setRobotpolicy( 'noindex,nofollow' );
15 $wgOut->addHTML( wfMsg( 'logouttext' ) );
16 $wgOut->returnToMain();
17 }
18
19 ?>