1
0
www.mikescher.com/www/commands/extendedgitgraph_status.php

18 lines
431 B
PHP
Raw Normal View History

2018-01-27 00:28:32 +01:00
<?php
2019-12-28 14:00:11 +01:00
global $CONFIG;
if (session_status() !== PHP_SESSION_ACTIVE) session_start();
2019-12-28 14:00:11 +01:00
if (isset($_GET['clear']))
{
if (key_exists($CONFIG['extendedgitgraph']['session_var'], $_SESSION)) $_SESSION[$CONFIG['extendedgitgraph']['session_var']] = '';
}
if (key_exists($CONFIG['extendedgitgraph']['session_var'], $_SESSION))
echo $_SESSION[$CONFIG['extendedgitgraph']['session_var']];
2018-01-27 00:28:32 +01:00
else
echo '[[ NO SESSION STARTED ]]';
2019-12-28 14:00:11 +01:00
2018-01-27 00:28:32 +01:00
return;