From f9652ffed7c8e4693cf7e698544bb3c9edc89786 Mon Sep 17 00:00:00 2001 From: Jason Hilder Date: Wed, 3 Jun 2026 10:49:22 +0200 Subject: [PATCH] Moved development scripts into a dev directory. This can optionally and ideally be omitted from your deployment. Purely for local development. --- init_miniphp.sh => dev/init_project.sh | 0 server.sh => dev/server.sh | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename init_miniphp.sh => dev/init_project.sh (100%) rename server.sh => dev/server.sh (100%) diff --git a/init_miniphp.sh b/dev/init_project.sh similarity index 100% rename from init_miniphp.sh rename to dev/init_project.sh diff --git a/server.sh b/dev/server.sh similarity index 100% rename from server.sh rename to dev/server.sh