diff options
| author | Florian Pritz <bluewind@xinu.at> | 2011-06-06 16:03:58 +0200 |
|---|---|---|
| committer | Florian Pritz <bluewind@xinu.at> | 2011-06-06 16:39:46 +0200 |
| commit | 35f6c09a596004bfc16f523ba881c8489892e21c (patch) | |
| tree | dffd35882176c2e382ce19b22d82237f5b906d38 /application/views/file_plaintext/html_header.php | |
| parent | 606012e782af20f00b7b19a08e924e07c34d7ec5 (diff) | |
remove double html_{header,footer} views
Signed-off-by: Florian Pritz <bluewind@xinu.at>
Diffstat (limited to 'application/views/file_plaintext/html_header.php')
| -rw-r--r-- | application/views/file_plaintext/html_header.php | 22 |
1 files changed, 1 insertions, 21 deletions
diff --git a/application/views/file_plaintext/html_header.php b/application/views/file_plaintext/html_header.php index 52ffab007..5cc4c40a7 100644 --- a/application/views/file_plaintext/html_header.php +++ b/application/views/file_plaintext/html_header.php @@ -1,21 +1 @@ -<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd"> -<html xmlns="http://www.w3.org/1999/xhtml"> - <head> - <title><?php echo $title; ?></title> - <link rel="stylesheet" type="text/css" href="<?php echo base_url(); ?>data/paste.css" /> - <link rel="stylesheet" type="text/css" href="<?php echo base_url(); ?>data/paste-<?php echo $current_highlight; ?>.css" /> - </head> - <body> - <div class="top_bar"> - <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; ?> | - Timeout: <a class="raw_link no" href="<?php echo $delete_link; ?>" title="delete"><?php echo $timeout; ?></a> - <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> - </div> - </div> - <table class="content"> - <tr> +<?php include "application/views/file/html_header.php"; ?> |