Simple local Swagger server

index.php

<?php
/**
 * Simple Swagger server
 * 1: Make sure your swagger file is in the same directory as this file; and it is named 'swagger.json'
 * 2: Run php -S localhost:8001
 * 
 * Open your browser to localhost:8001 and see that your swagger file is served.
 * Now you can use this URL in a local SwaggerUI.
 */
header("Access-Control-Allow-Origin: *");
header("Content-Type: application/json");
echo file_get_contents("swagger.json");