- global $color, $SQSPELL_VERSION, $theme_css;
- echo "<html>\n"
- . "<head>\n"
- . "<title>$title</title>\n";
- /**
- * Check if we have a defined css theme to use.
- */
- if ($theme_css != "") {
- echo "<LINK REL=\"stylesheet\" TYPE=\"text/css\" HREF=\"$theme_css\">\n";
- }
- /**
- * Link in the .js file if needed
- */
- if ($scriptsrc){
- echo "<script type=\"text/javascript\" src=\"js/$scriptsrc\"></script>\n";
- }
- echo "</head>\n"
- . "<body text=\"$color[8]\" bgcolor=\"$color[4]\" link=\"$color[7]\" "
- . "vlink=\"$color[7]\" alink=\"$color[7]\"";
+ global $color, $SQSPELL_VERSION;
+
+ displayHtmlHeader($title,
+ ($scriptsrc ? "\n<script type=\"text/javascript\" src=\"js/$scriptsrc\"></script>\n" : ''));
+
+ echo "<body text=\"$color[8]\" bgcolor=\"$color[4]\" link=\"$color[7]\" "
+ . "vlink=\"$color[7]\" alink=\"$color[7]\"";