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="style.css?m=~style.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">
21 <ul><!--~$navbar_items {~-->
22 <li><a href="~filename~">~title html~</a></li><!--~}~-->
27 <!--~$admin_links {~-->
28 <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>
30 <!--~$messages once_if {~-->
31 <div id="wfpl_messages">
33 <p>~message htmlbrtab~</p>
51 <!--~$render_timestamps {~-->
54 var i02 = function (i) { return i > 9 ? i : '0' + i; };
55 var date_to_html = function (d, include_time) {
56 var hours = d.getHours()
57 var ret = '<span class="date_time">' +
58 i02(d.getMonth() + 1) + '/' +
59 i02(d.getDate()) + '/' +
62 ret += ' ' + ((hours + 11) % 12 + 1) + ':' +
64 (hours < 12 ? 'am' : 'pm')
69 window.render_timestamps = function() {
70 var els = document.getElementsByClassName('unix_time');
73 d = new Date(1000 * parseInt(els[i].innerHTML));
74 els[i].innerHTML = date_to_html(d, true);
76 els = document.getElementsByClassName('unix_date');
78 d = new Date(1000 * parseInt(els[i].innerHTML));
79 els[i].innerHTML = date_to_html(d, false);