header.php

<?php
if ( isset($OUTPUT) ) {
    $OUTPUT->header();
} else {
    echo('<title>PHP and MySql - Introduction to Database Applications on the Web</title>');
    echo('<link rel="stylesheet" href="glike.css" type="text/css" />');
}