function generateNavibar($page)
{
$prev = getPrev($page);
$next = getNext($page);
$prev5 = getPrev($page, 5);
$next5 = getNext($page, 5);
$page = intval($page);
$html = '';
$html .= '<form>';
$html .= createButton($prev5, !doesPageExist("{$prev5}"), '<<');
$html .= createButton($prev, !doesPageExist("{$prev}"), '<');
$html .= "</form>";
$html .= createDropDownMenu($page, getFileCountInDirectory('pages/'));
$html .= '<form>';
$html .= createButton($next, !doesPageExist("{$next}"), '>');
$html .= createButton($next5, !doesPageExist("{$next5}"), '>>');
$html .= "</form>";
return $html;
}
</head>
<body>
<div class="prefoot">
<?php
include_once 'nav/Nav.php';
$page = $_GET['page'];
if (!isset($page)) {
$page = 0;
}
echo "<div id=\"navivalue\" hidden>{$page}</div>";
$page = intval($page);
echo generateNavibar($page);
?>
<div class="content">
<?php
if (doesPageExist($page)) {
echo getVerticalSpace();
echo getPage($page);
} else {
echo generateNavibar($page);
echo '<div class="vertical space"></div>';
echo '<pre> This part of the tutorial is not present </pre>';
}
?>
</div>
</div>
<?php
echo getVerticalSpace();
echo generateNavibar($page);
?>
</body>
