PHP's built-in web server as a zero-configuration development server