Small cleanup for easier local development.

Added a dev/ folder which will hold all the needed files for local development.
Added check for php server.
2026-06-03 11:06:32 +02:00 · 2026-06-03 10:50:18 +02:00 · 2026-06-03 10:49:22 +02:00
5 changed files with 14 additions and 5 deletions
@@ -0,0 +1,11 @@
+<?php declare(strict_types=1);
+
+$uri = parse_url($_SERVER['REQUEST_URI'], PHP_URL_PATH);
+
+$file = dirname(__DIR__) . '/public' . $uri;
+
+if (is_file($file)) {
+    return false;
+}
+
+require dirname(__DIR__) . '/index.php';
@@ -1,10 +1,8 @@
 #!/usr/bin/env bash
-set -euo pipefail
-
 HOST="${HOST:-127.0.0.1}"
 PORT="${PORT:-3333}"

 echo "Starting development server..."
 echo "URL: http://${HOST}:${PORT}"

-php -S "${HOST}:${PORT}" index.php
+php -S "${HOST}:${PORT}" -t public dev/server.php
@@ -1,3 +1,3 @@
-	<script src="/public/js/app.js"></script>
+	<script src="/js/app.js"></script>
 	</body>
 </html>
@@ -4,6 +4,6 @@
 		<meta charset="utf-8">
 		<meta name="viewport" content="width=device-width,initial-scale=1">
 		<title><?php echo escape_string($title ?? 'miniPHP') ?></title>
-		<link rel="stylesheet" href="/public/css/app.css">
+		<link rel="stylesheet" href="/css/app.css">
 	</head>
 	<body>