Sources/Admin.php 1 location
|
@@ 958-960 (lines=3) @@
|
| 955 |
|
unset($_SESSION['admin_time']); |
| 956 |
|
|
| 957 |
|
// Clean any admin tokens as well. |
| 958 |
|
foreach ($_SESSION['token'] as $key => $token) |
| 959 |
|
if (strpos($key, '-admin') !== false) |
| 960 |
|
unset($_SESSION['token'][$key]); |
| 961 |
|
|
| 962 |
|
redirectexit(); |
| 963 |
|
} |
Sources/ModerationCenter.php 1 location
|
@@ 2075-2077 (lines=3) @@
|
| 2072 |
|
unset($_SESSION['moderate_time']); |
| 2073 |
|
|
| 2074 |
|
// Clean any moderator tokens as well. |
| 2075 |
|
foreach ($_SESSION['token'] as $key => $token) |
| 2076 |
|
if (strpos($key, '-mod') !== false) |
| 2077 |
|
unset($_SESSION['token'][$key]); |
| 2078 |
|
|
| 2079 |
|
redirectexit(); |
| 2080 |
|
} |