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