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
  14 if (!function_exists('drupal_page_header')) {
  15   $title = drupal_get_title();
  16   $head = drupal_get_html_head();
  17
  18   print <<<EOF
  19 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
  20 <html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en">
  21
  22 <head>
  23   <title>$title</title>
  24   $head
  25 </head>
  26
  27 <body>
  28
  29 EOF;
  30 }
  31
  32 ?>