summaryrefslogtreecommitdiff
path: root/htdocs/index.php
diff options
context:
space:
mode:
authordeva <deva>2010-02-23 08:20:14 +0000
committerdeva <deva>2010-02-23 08:20:14 +0000
commit422a3ff80c49f50eb7841e3f30f4bd96b9d2d2ce (patch)
tree8b8b0af2f6b72992b1fcf65c5bc2eaf1b4ef99d2 /htdocs/index.php
parent184bed72a9da81a4de621ef62ab7aab0c61c0ddf (diff)
Add generation time to bottom of the page.
Diffstat (limited to 'htdocs/index.php')
-rw-r--r--htdocs/index.php7
1 files changed, 5 insertions, 2 deletions
diff --git a/htdocs/index.php b/htdocs/index.php
index a41ee02..d68609a 100644
--- a/htdocs/index.php
+++ b/htdocs/index.php
@@ -1,4 +1,6 @@
<?php
+$start_time = microtime(true);
+
include_once("config.php");
if($mode == "imagecache") {
@@ -37,7 +39,7 @@ if($config->value('splash') == "true") {
<link rel="alternate" type="application/rss+xml" title="RSS" href="rss.xml" />
<link rel="author" title="Bent Bisballe Nyeng" href="http://www.aasimon.org"/>
<link href="/favicon.ico" rel="shortcut icon"/>
- <link rel="stylesheet" type="text/css" href="style.css" media="screen"/>
+ <link rel="stylesheet" type="text/css" href="design/mors/style.css" media="screen"/>
</head>
<body>
<div class="splash">
@@ -67,7 +69,7 @@ if($config->value('splash') == "true") {
<link rel="alternate" type="application/rss+xml" title="RSS" href="rss.xml" />
<link rel="author" title="Bent Bisballe Nyeng" href="http://www.aasimon.org"/>
<link href="/favicon.ico" rel="shortcut icon"/>
- <link rel="stylesheet" type="text/css" href="style.css" media="screen"/>
+ <link rel="stylesheet" type="text/css" href="design/mors/style.css" media="screen"/>
<link rel="stylesheet" type="text/css" href="handheld.css" media="handheld"/>
<link rel="stylesheet" type="text/css" href="admin.css" media="screen"/>
<script type="text/javascript">
@@ -137,6 +139,7 @@ $_p = $pages->getPage("footer");
if($_p) $_p->show();
?>
</div>
+ <div class="generationtime">This document was generated in <?php $stop_time = microtime(true); echo $stop_time - $start_time; ?> seconds</div>
</div>
<div>
<a href="?page=admin" class="admin_link"></a>