includes/SpecialUserlogout.php

   1 <?php
   2
   3 function wfSpecialUserlogout()
   4 {
   5         global $wgUser, $wgOut, $returnto;
   6
   7         $wgUser->logout();
   8         $wgOut->mCookies = array();
   9         $wgOut->setRobotpolicy( "noindex,nofollow" );
  10         $wgOut->addHTML( wfMsg( "logouttext" ) );
  11         $wgOut->returnToMain();
  12 }
  13
  14 ?>