3 // PlanetLab header handling. In a Drupal environment, this file
6 // Mark Huang <mlhuang@cs.princeton.edu>
7 // Copyright (C) 2006 The Trustees of Princeton University
12 require_once 'plc_drupal.php';
13 drupal_set_html_head('<link href="/planetlab/css/plc_style.css" rel="stylesheet" type="text/css"/>');
15 if (!function_exists('drupal_page_header')) {
16 $title = drupal_get_title();
17 $head = drupal_get_html_head();
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">