#!/bin/sh

# cd into the correct directory
cd "$( dirname "$0" )"/..

# launch the PHP dev server
php -S localhost:8080 -t public public/index.php