From a79798223a71874a70981c07e0bcc79b4dcabc28 Mon Sep 17 00:00:00 2001
From: Florian Pritz <bluewind@xssn.at>
Date: Mon, 6 Dec 2010 21:23:16 +0100
Subject: add timeout to html page

Signed-off-by: Florian Pritz <bluewind@xssn.at>
---
 system/application/views/file/html_header.php | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'system/application/views/file')

diff --git a/system/application/views/file/html_header.php b/system/application/views/file/html_header.php
index ef5b204ff..b7e27315d 100644
--- a/system/application/views/file/html_header.php
+++ b/system/application/views/file/html_header.php
@@ -10,7 +10,8 @@
       <a class="raw_link no" href="<?php echo $new_link; ?>">New</a> |
       <a class="raw_link no" href="<?php echo $raw_link; ?>">Raw</a> |
       <a class="raw_link no" href="<?php echo $plain_link; ?>">Plain</a> |
-      Currently: <?php echo $current_highlight; ?>
+      Currently: <?php echo $current_highlight; ?> |
+      Timeout: <?php echo $timeout; ?>
       <div style="float:right;">
         <a class="raw_link no" href="<?php echo $auto_link; ?>">Code</a> |
         <a class="raw_link no" href="<?php echo $rmd_link; ?>">Render Markdown</a>
-- 
cgit v1.2.3-24-g4f1b