diff options
| author | deva <deva> | 2010-02-23 08:20:14 +0000 |
|---|---|---|
| committer | deva <deva> | 2010-02-23 08:20:14 +0000 |
| commit | 422a3ff80c49f50eb7841e3f30f4bd96b9d2d2ce (patch) | |
| tree | 8b8b0af2f6b72992b1fcf65c5bc2eaf1b4ef99d2 | |
| parent | 184bed72a9da81a4de621ef62ab7aab0c61c0ddf (diff) | |
Add generation time to bottom of the page.
| -rw-r--r-- | htdocs/index.php | 7 |
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> |