Location: PHPKode > projects > Huygens Remote Manager > hrm/header.inc.php
<?php
// This file is part of the Huygens Remote Manager
// Copyright and license notice: see license.txt

require_once( "./inc/versions.inc" );

echo "<?xml version=\"1.0\" encoding=\"UTF-8\"?>";

?>

<!DOCTYPE html 
    PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" 
    "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">

<head>
    <title>Huygens Remote Manager</title>
    <link rel="SHORTCUT ICON" href="images/hrm.ico"/>
<?php

if (isset($meta)) {
  echo "    ".$meta;
}

?>

	<!-- HighChart JavaScript library inclusions -->
	<script type="text/javascript" src="scripts/highcharts/jquery.min.js"></script>
	<script type="text/javascript" src="scripts/highcharts/highcharts.js"></script>
	<!--[if IE]>
      <script type="text/javascript" src="scripts/highcharts/excanvas.compiled.js"></script>
	<![endif]-->
    
    <script type="text/javascript" src="scripts/common.js"></script>
<?php

if (isset($script)) {

?>
    
    <script type="text/javascript" src="scripts/<?php echo $script ?>"></script>
<?php

}

if (isset($generatedScript)) {

?>
    
    <script type="text/javascript">
    <!--
    <?php echo $generatedScript ?>
    -->
    </script>
<?php

}



?>
    <style type="text/css">
        @import "stylesheets/default.css";
    </style>
</head>

<body>

<!--
    // Use the great Tooltip JavaScript Library by Walter Zorn
-->
<script type="text/javascript" src="./scripts/wz_tooltip/wz_tooltip.js"></script>

<div id="basket">

<?php if (!isset($excludeTitle)) { ?>
    <div id="title">
    
	<h1>Huygens Remote Manager <span id="about">v<?php echo Versions::getHRMVersion( ); ?></span></h1>
    </div>
<?php } ?>
    
Return current item: Huygens Remote Manager