git grep
MediaWikiリポジトリで簡単に実行すると、次のdoLogout()
関数が表示されincludes/User.php
ます。
/**
* Clear the user's cookies and session, and reset the instance cache.
* @see logout()
*/
public function doLogout() {
$this->clearInstanceCache( 'defaults' );
$this->getRequest()->setSessionData( 'wsUserID', 0 );
$this->clearCookie( 'UserID' );
$this->clearCookie( 'Token' );
# Remember when user logged out, to prevent seeing cached pages
$this->setCookie( 'LoggedOut', wfTimestampNow(), time() + 86400 );
}
関数のコードとコメントは、このCookieが最後にログアウトした時刻を示し、ページのキャッシュを制御するために使用されることを明確にしています(おそらく、ログアウトした後もページがまだログインしているように見えないようにするためです)。