repo.or.cz
/
phpmyadmin.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
Merge remote-tracking branch 'origin/master'
[phpmyadmin.git]
/
logout.php
blob
3bfa8f72b328d0c27cd6a3a53e62ff18a20c7ad4
1
<
?php
2
/* vim: set expandtab sw=4 ts=4 sts=4: */
3
/**
4
* Logout script
5
*
6
* @package PhpMyAdmin
7
*/
8
require_once
'libraries/common.inc.php'
;
9
10
if
(
$token_mismatch
) {
11
PMA_sendHeaderLocation
(
'./index.php'
);
12
}
else
{
13
$auth_plugin
->
logOut
();
14
}
15