1
0

upgrade to extendedGitGraph 2 (WIP)

This commit is contained in:
2019-12-28 14:00:11 +01:00
parent b4c6870c70
commit ba96d8f726
20 changed files with 1840 additions and 714 deletions

View File

@@ -2,9 +2,17 @@
if (session_status() !== PHP_SESSION_ACTIVE) session_start();
if (key_exists('ajax_progress_egh_refresh', $_SESSION))
echo $_SESSION['ajax_progress_egh_refresh'];
global $CONFIG;
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']];
else
echo '[[ NO SESSION STARTED ]]';
return;