2018-01-27 00:28:32 +01:00
|
|
|
<?php
|
|
|
|
|
|
|
|
require_once (__DIR__ . '/../internals/base.php');
|
2019-12-28 14:00:11 +01:00
|
|
|
require_once (__DIR__ . '/../extern/egh/ExtendedGitGraph2.php');
|
2018-01-27 00:28:32 +01:00
|
|
|
require_once (__DIR__ . '/../internals/mikeschergitgraph.php');
|
|
|
|
|
|
|
|
set_time_limit(900); // 15min
|
|
|
|
|
|
|
|
$v = MikescherGitGraph::create();
|
2019-12-28 14:00:11 +01:00
|
|
|
$v->update();
|
2018-01-27 00:28:32 +01:00
|
|
|
|