4 <title>~$title html~~$cms_title html~</title>
6 ~$running_locally {~<script src="/javascript/html5.js"></script>~}~
7 ~$running_locally unset {~<script src="http://html5shim.googlecode.com/svn/trunk/html5.js"></script>~}~
9 <link rel="stylesheet" href="css.css?m=~css.css mtime~" />
10 <!--~$meta_description nonempty {~--><meta name="description" content="~$meta_description attr~" /><!--~}~-->
11 <!--~$meta_keywords nonempty {~--><meta name="keywords" content="~$meta_keywords attr~" /><!--~}~-->
15 <body id="~$basename~_body" class="real_body_tag">
20 <!--~$navbar_items once_if {~-->
22 <ul><!--~$navbar_items {~-->
23 <li><a href="~filename~">~title html~</a></li><!--~}~-->
29 <!--~$admin_links {~-->
30 <div id="admin_links">You are logged in as an administrator. <a href="admin_pages?~id {~edit_id=~id~~}~~id unset {~&new=1&new_filename=~$basename~~}~">Edit this page</a> — <a href="admin">Control panel</a> — <a href="logout">Log out</a></div>
32 <!--~$messages once_if {~-->
33 <div id="wfpl_messages">
35 <p>~message htmlbrtab~</p>
53 <!--~$render_timestamps {~-->
56 var i02 = function (i) { return i > 9 ? i : '0' + i; };
57 var date_to_html = function (d, include_time) {
58 var hours = d.getHours()
59 var ret = '<span class="date_time">' +
60 i02(d.getMonth() + 1) + '/' +
61 i02(d.getDate()) + '/' +
64 ret += ' ' + ((hours + 11) % 12 + 1) + ':' +
66 (hours < 12 ? 'am' : 'pm')
71 window.render_timestamps = function() {
72 var els = document.getElementsByClassName('unix_time');
75 d = new Date(1000 * parseInt(els[i].innerHTML));
76 els[i].innerHTML = date_to_html(d, true);
78 els = document.getElementsByClassName('unix_date');
80 d = new Date(1000 * parseInt(els[i].innerHTML));
81 els[i].innerHTML = date_to_html(d, false);