}
echo '<div class="noframesjslink"><a target="_parent" href="discussion.php?id='.$userid.'&noframesjs=1">'.get_string('noframesjs', 'message').'</a></div>';
- echo <<<EOF
-<script type="text/javascript">
-//<![CDATA[
-document.getElementById("edit-message").focus();
-//]]>
-</script>
-
-EOF;
+ echo "<script type=\"text/javascript\">".
+ "\n//<![CDATA[".
+ "\ndocument.getElementById(\"edit-message\").focus();".
+ "\n//]]>".
+ "\n</script>";
echo '</body></html>';
}