planetlab/includes/plc_header.php

   1 <?php
   2 //
   3 // PlanetLab header handling. In a Drupal environment, this file
   4 // outputs nothing.
   5 //
   6 // Mark Huang <mlhuang@cs.princeton.edu>
   7 // Copyright (C) 2006 The Trustees of Princeton University
   8 //
   9 // $Id$ $
  10 //
  11
  12 require_once 'plc_drupal.php';
  13 drupal_set_html_head('<link href="/planetlab/css/plc_style.css" rel="stylesheet" type="text/css"/>');
  14
  15 if (!function_exists('drupal_page_header')) {
  16   $title = drupal_get_title();
  17   $head = drupal_get_html_head();
  18
  19   print <<<EOF
  20 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
  21 <html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en">
  22
  23 <head>
  24   <title>$title</title>
  25   $head
  26 </head>
  27
  28 <body>
  29
  30 EOF;
  31 }
  32
  33 ?>