A simple HTTP server for PHP