This commit is contained in:
Maurits van der Schee 2020-11-28 21:40:03 +01:00
commit aa5e4d5cd6
2 changed files with 11389 additions and 0 deletions

11387
api.include.php Normal file

File diff suppressed because it is too large Load diff

View file

@ -93,6 +93,8 @@ function run(string $base, array $dirs, string $filename, array $ignore)
include 'tmp_' . $filename;
ob_end_clean();
rename('tmp_' . $filename, $filename);
$data = substr($data, 0, strrpos($data, "\n// file: src/index.php"));
file_put_contents(str_replace('.php', '.include.php', $filename), $data);
$end = microtime(true);
$time = ($end - $start) * 1000;
echo sprintf("%d files combined in %d ms into '%s'\n", $count, $time, $filename);