comparison index.php @ 288:4e6886674e40 gmap2

Check markers.json file for latest update timestamp.
author Matti Hamalainen <ccr@tnsp.org>
date Tue, 31 May 2016 16:21:21 +0300
parents 81547bf400a6
children 8e120dadd0a5
comparison
equal deleted inserted replaced
287:695d01a321ec 288:4e6886674e40
8 } 8 }
9 9
10 // 10 //
11 // Generic settings 11 // Generic settings
12 // 12 //
13 $lastMTime = filemtime("markers.json");
13 $pageCharset = "UTF-8"; 14 $pageCharset = "UTF-8";
14 $pageVersion = "rev:2016-01-08"; 15 $pageVersion = " [updated ".date("D d.m.Y H:i:s T", $lastMTime)."]";
15 16
16 $pageTitle1 = "BatMUD: The Age of Exiles"; 17 $pageTitle1 = "BatMUD: The Age of Exiles";
17 $pageTitle2 = "Google Maps Hack"; 18 $pageTitle2 = "Google Maps Hack";
18 $pageBy = "by Jeskko &amp; Ggr"; 19 $pageBy = "by Jeskko &amp; Ggr";
19 $pageTitle = $pageTitle1." - ".$pageTitle2." ".$pageBy; 20 $pageTitle = $pageTitle1." - ".$pageTitle2." ".$pageBy;
71 ?> 72 ?>
72 <div id="header"> 73 <div id="header">
73 <a id="headlogo" href="http://www.bat.org/"></a> 74 <a id="headlogo" href="http://www.bat.org/"></a>
74 <div id="headcontent"> 75 <div id="headcontent">
75 <h1><?php echo $pageTitle1 ?></h1> 76 <h1><?php echo $pageTitle1 ?></h1>
76 <h2><?php echo $pageTitle2.(isset($pageVersion) ? " ".$pageVersion : "") ?></h2> 77 <h2><?php echo $pageTitle2 ?></h2>
78 <div class="version"><?php echo $pageVersion ?></div>
77 <div class="credits"><?php echo $pageBy ?></div> 79 <div class="credits"><?php echo $pageBy ?></div>
78 <div class="controls"> 80 <div class="controls">
79 <?php 81 <?php
80 for ($i = 1; $i <= 4; $i++) 82 for ($i = 1; $i <= 4; $i++)
81 echo " <a class=\"stylesel\" href=\"?css=".$i."\" title=\"Switch to site style #".$i."\">".$i."</a>\n"; 83 echo " <a class=\"stylesel\" href=\"?css=".$i."\" title=\"Switch to site style #".$i."\">".$i."</a>\n";