PHP server func
function srv { if [ $# -eq 0 ] then port=8000 else port="$1" fi php -S "localhost:$port" }