<?php // $Id$

    require('../config.php');

/// Select encoding
    $encoding = current_charset();

/// Select direction
    if ( get_string('thisdirection') == 'rtl' ) {
        $direction = ' dir="rtl"';
    } else {
        $direction = ' dir="ltr"';
    }
/// Output the header
?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Frameset//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-frameset.dtd">
<html <?php echo $direction ?>>
  <head>
    <meta http-equiv="content-type" content="text/html; charset=<?php echo $encoding ?>" />
  </head>
  <body class="message course-1" id="message-messages">
