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
Fix #14184 - HTTPS/HTTP cookie separation issue (aka Failed to set session cookie...
[phpmyadmin.git]
/
logout.php
blob
e715ed16e3646b9a64caa6e8af0034f34075487a
1
<
?php
2
/* vim: set expandtab sw=4 ts=4 sts=4: */
3
/**
4
* Logout script
5
*
6
* @package PhpMyAdmin
7
*/
8
9
use
PhpMyAdmin\Core
;
10
11
require_once
'libraries/common.inc.php'
;
12
13
if
(
$_SERVER
[
'REQUEST_METHOD'
] !=
'POST'
||
$token_mismatch
) {
14
Core
::
sendHeaderLocation
(
'./index.php'
);
15
}
else
{
16
$auth_plugin
->
logOut
();
17
}