$releases = new Releases();
$releases->unserialize(file_get_contents("./NEWS.serialized"));
?>
<!doctype html>
<html>
<head>
<title>PHP Changelog</title>
<link rel="stylesheet" type="text/css" href="static/news.css">
</head>
<body>
<header id="page-header">
<h1 id="page-title">PHP News</h1>
</header>
<nav id="version-toc">
<?php
foreach ($releases->keys() as $version) {
?>
<a href="#php-<?php
echo str_replace(".", "-", $version);
?>
"><?php
echo $version;
?>
</a>
<?php
}
?>
</nav>
<p>Generated <?php
echo date("r", filemtime("./NEWS.serialized"));
?>
