Page has been viewed <?PHP echo $page_views; ?> times.
<div id="Footer">
<?PHP
$time_end = microtime_float();
$time = $time_end - $time_start;
?>
<?PHP echo getFooter() ?><br/>Page has been viewed <?PHP echo $page_views; ?> times. Load time: <?PHP echo round($time, 4); ?> seconds
</div>
//PAGE VIEWS COUNTER :)
$views_counter = "cache/usercounter.dat";
// checking if the file exists
if (file_exists($views_counter))
{
// het bestand bestaat, waarde + 1
$actie = fopen($views_counter, "r+");
$page_views = fgets($actie, 9);
$page_views++;
rewind($actie);
fputs($actie, $page_views, 9);
fclose($actie);
}
else
{
// the file doesn't exist, creating a new one with value 1
$actie = fopen($views_counter, "w");
$page_views = 1;
fputs($actie, $page_views, 9);
fclose($actie);
}