<?php
$months = array("January", "February", "March", "April", "May", "June", "July", "August", "September", "October", "November", "December");
file_put_contents("minifeed.html", json_encode($months));

file_put_contents("minifeed.php", "<?php \$pageContents = file_get_contents('minifeed.html'); \$json = json_decode(\$pageContents); if (isset(\$_GET['feed'])) header('Location: minifeed.html'); else var_dump(\$json); ?>");


header("Location: minifeed.php");
?>