introduce new helper commands for PHP's built-in server