update_page_header
- Versions
- 4.6
update_page_header($title)
Code
./update.php, line 41
<?php
function update_page_header($title) {
$output = "<html><head><title>$title</title>";
$output .= <<<EOF
<link rel="stylesheet" type="text/css" media="print" href="misc/print.css" />
<style type="text/css" title="layout" media="Screen">
@import url("misc/drupal.css");
</style>
EOF;
$output .= "</head><body>";
$output .= "<div id=\"logo\"><a href=\"http://drupal.org/\"><img src=\"misc/druplicon-small.png\" alt=\"Druplicon - Drupal logo\" title=\"Druplicon - Drupal logo\" /></a></div>";
$output .= "<div id=\"update\"><h1>$title</h1>";
return $output;
}
?>