diff options
| author | Jan-Hendrik Willms <tleilax+studip@gmail.com> | 2024-05-27 06:11:25 +0000 |
|---|---|---|
| committer | David Siegfried <david.siegfried@uni-vechta.de> | 2024-05-27 06:11:25 +0000 |
| commit | 4f847abc09405f0cf848f7b4b5a5a283acc6131d (patch) | |
| tree | 94912425ef703757cf63fd19f8463a73e594cf9c /vendor/trails/src/trails.php | |
| parent | 05fefe4a2d9582e48131c82cee4d25cef2db40f5 (diff) | |
integrate trails, fixes #4102
Closes #4102
Merge request studip/studip!3034
Diffstat (limited to 'vendor/trails/src/trails.php')
| -rw-r--r-- | vendor/trails/src/trails.php | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/vendor/trails/src/trails.php b/vendor/trails/src/trails.php deleted file mode 100644 index 2e9e8e2..0000000 --- a/vendor/trails/src/trails.php +++ /dev/null @@ -1,16 +0,0 @@ -<?php -function fgc($files/*, ... */) { - $result = ''; - $files = func_get_args(); - foreach ($files as $file) { - $string = file_get_contents(dirname(__FILE__)."/$file.php"); - $result .= preg_replace("/^(<\?(php)?)|(\?>)\s*\v+$/", "", $string); - } - return $result; -} -?> -<?= "<?php" ?> -<?= fgc("HEADER") ?> - -<?= fgc("dispatcher", "response", "controller", - "inflector", "flash", "exception") ?> |
