From c52bc9b737120ee51bc511bc32a803e6120c2995 Mon Sep 17 00:00:00 2001 From: Jason Hilder Date: Wed, 3 Jun 2026 11:06:32 +0200 Subject: [PATCH] Small cleanup for easier local development. Added a dev/ folder which will hold all the needed files for local development. --- dev/server.php | 11 +++++++++++ dev/server.sh | 4 +--- index.php | 5 ----- src/views/partials/footer.php | 2 +- src/views/partials/head.php | 2 +- 5 files changed, 14 insertions(+), 10 deletions(-) create mode 100644 dev/server.php diff --git a/dev/server.php b/dev/server.php new file mode 100644 index 0000000..c831cc3 --- /dev/null +++ b/dev/server.php @@ -0,0 +1,11 @@ + + diff --git a/src/views/partials/head.php b/src/views/partials/head.php index 62363c3..0784452 100755 --- a/src/views/partials/head.php +++ b/src/views/partials/head.php @@ -4,6 +4,6 @@ <?php echo escape_string($title ?? 'miniPHP') ?> - +