# HG changeset patch
# User Matti Hamalainen <ccr@tnsp.org>
# Date 1464700881 -10800
# Node ID 4e6886674e40e823097415b303cdfdf6bf4ce1a5
# Parent  695d01a321ec448b6028fa0302d3c03bba8a80f1
Check markers.json file for latest update timestamp.

diff -r 695d01a321ec -r 4e6886674e40 index.php
--- a/index.php	Wed Mar 09 22:41:06 2016 +0200
+++ b/index.php	Tue May 31 16:21:21 2016 +0300
@@ -10,8 +10,9 @@
 //
 // Generic settings
 //
+$lastMTime = filemtime("markers.json");
 $pageCharset = "UTF-8";
-$pageVersion = "rev:2016-01-08";
+$pageVersion = " [updated ".date("D d.m.Y H:i:s T", $lastMTime)."]";
 
 $pageTitle1 = "BatMUD: The Age of Exiles";
 $pageTitle2 = "Google Maps Hack";
@@ -73,7 +74,8 @@
       <a id="headlogo" href="http://www.bat.org/"></a>
       <div id="headcontent">
         <h1><?php echo $pageTitle1 ?></h1>
-        <h2><?php echo $pageTitle2.(isset($pageVersion) ? " ".$pageVersion : "") ?></h2>
+        <h2><?php echo $pageTitle2 ?></h2>
+        <div class="version"><?php echo $pageVersion ?></div>
         <div class="credits"><?php echo $pageBy ?></div>
         <div class="controls">
 <?php