diff options
Diffstat (limited to 'system/application/views/file/html_header.php')
| -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> |