jasonhilder/miniPHP
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Compare commits

base: jasonhilder/miniPHP:448228e3ada6d8fcbe6c3156ee7fde436f125df2
Branches Tags
jasonhilder/miniPHP:main
...
compare: jasonhilder/miniPHP:main
Branches Tags
jasonhilder/miniPHP:main

3 Commits
448228e3ad ... main

Author SHA1 Message Date
jasonhilder c52bc9b737 Small cleanup for easier local development. 
Added a dev/ folder which will hold all the needed files for local
development.
 2026-06-03 11:06:32 +02:00
jasonhilder 5b2864c7d8 Added check for php server. 
Added an if check that allows the built-in PHP server to serve existing files directly.
On a server it's handled by nginx, purely for ease of development.
 2026-06-03 10:50:18 +02:00
jasonhilder f9652ffed7 Moved development scripts into a dev directory. 
This can optionally and ideally be omitted from your deployment. Purely
for local development.
 2026-06-03 10:49:22 +02:00
5 changed files with 14 additions and 5 deletions
Expand all files Collapse all files
init_miniphp.sh → dev/init_project.sh
View File
dev/server.php
+11
View File
@@ -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';
server.sh → dev/server.sh
+1 -3
View File
@@ -1,10 +1,8 @@
#!/usr/bin/env bash #!/usr/bin/env bash
set -euo pipefail
HOST="${HOST:-127.0.0.1}" HOST="${HOST:-127.0.0.1}"
PORT="${PORT:-3333}" PORT="${PORT:-3333}"
echo "Starting development server..." echo "Starting development server..."
echo "URL: http://${HOST}:${PORT}" echo "URL: http://${HOST}:${PORT}"
php -S "${HOST}:${PORT}" index.php php -S "${HOST}:${PORT}" -t public dev/server.php
src/views/partials/footer.php
+1 -1
View File
@@ -1,3 +1,3 @@
<script src="/public/js/app.js"></script> <script src="/js/app.js"></script>
</body> </body>
</html> </html>
src/views/partials/head.php
+1 -1
View File
@@ -4,6 +4,6 @@
<meta charset="utf-8"> <meta charset="utf-8">
<meta name="viewport" content="width=device-width,initial-scale=1"> <meta name="viewport" content="width=device-width,initial-scale=1">
<title><?php echo escape_string($title ?? 'miniPHP') ?></title> <title><?php echo escape_string($title ?? 'miniPHP') ?></title>
<link rel="stylesheet" href="/public/css/app.css"> <link rel="stylesheet" href="/css/app.css">
</head> </head>
<body> <body>