PHP dev server

docker-compose.yml

version: '3'

services:
  # http://php.net/manual/ja/features.commandline.webserver.php
  web:
    image: php
    command: php -S 0.0.0.0:8000 router.php
    ports:
      - '8000:8000'
    working_dir: /web
    volumes:
      - './:/web'

index.html

<h1>PHP dev server</h1>
<a href='/phpinfo'>PHP info</a>

router.php

<?php

namespace Route;

function match(string $regex): bool {
    $uri = $_SERVER['REQUEST_URI'];
    return preg_match($regex, $uri) === 1;
}

?>
<?php if (\Route\match('|/phpinfo|')): ?>
    <?php phpinfo(); ?>
<?php else: ?>
    <?= file_get_contents('index.html') ?>
<?php endif; ?>

TODO

• gateway ip addr