diff options
| author | Florian Pritz <bluewind@xssn.at> | 2010-12-06 21:23:16 +0100 |
|---|---|---|
| committer | Florian Pritz <bluewind@xssn.at> | 2010-12-06 21:23:16 +0100 |
| commit | a79798223a71874a70981c07e0bcc79b4dcabc28 (patch) | |
| tree | c6864a2623a1bea9b74b14bbd07367514121f62d /system/application/views | |
| parent | 31a0853361be29df22ee5794696a5616607cec03 (diff) | |
add timeout to html page
Signed-off-by: Florian Pritz <bluewind@xssn.at>
Diffstat (limited to 'system/application/views')
| -rw-r--r-- | system/application/views/file/html_header.php | 3 |
1 files changed, 2 insertions, 1 deletions
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> |