Merge pull request #52 from mevdschee/master

add ui.include.php
mevdschee · Oct 17, 2021 · fda975c · fda975c
2 parents 7f0696a + 86163f9
commit fda975c
Show file tree

Hide file tree

Showing 2 changed files with 14,459 additions and 0 deletions.
diff --git a/build.php b/build.php
@@ -118,6 +118,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: webroot/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);