unicode)) { $encoding = 'utf-8'; } else { $encoding = get_string('thischarset'); } /// Select direction if ( get_string('thisdirection') == 'rtl' ) { $direction = ' dir="rtl"'; } else { $direction = ' dir="ltr"'; } /// Output the header ?> > ';