1
0

ExtendedGitGraph

This commit is contained in:
2020-01-15 00:57:11 +01:00
parent af09b49e8a
commit 114e93d09e
5 changed files with 23 additions and 24 deletions

View File

@@ -23,6 +23,7 @@ class Website
/** @var AlephNoteStatistics|null */ private $anstats = null;
/** @var UpdatesLog|null */ private $updateslog = null;
/** @var WebApps|null */ private $webapps = null;
/** @var MikescherGitGraph|null */ private $extendedgitgraph = null;
public function init()
{
@@ -30,15 +31,8 @@ class Website
try
{
$this->config = require (__DIR__ . "/config.php");
}
catch (exception $e)
{
$this->serveServerError("config.php not found", formatException($e), null);
}
$this->config = require (__DIR__ . "/../config.php");
try
{
if (!$this->config['prod'])
{
ini_set('display_errors', 1);
@@ -210,10 +204,16 @@ class Website
public function WebApps(): WebApps
{
if ($this->webapps === null) { require_once 'webapp.php'; $this->webapps = new WebApps(); }
if ($this->webapps === null) { require_once 'webapps.php'; $this->webapps = new WebApps(); }
return $this->webapps;
}
public function ExtendedGitGraph(): MikescherGitGraph
{
if ($this->extendedgitgraph === null) { require_once 'mikeschergitgraph.php'; $this->extendedgitgraph = new MikescherGitGraph($this); }
return $this->extendedgitgraph;
}
/**
* @return bool
*/