A web server written in PHP