xml = xml
.prependContent(
"//xhtml:head",
XML.parseTemplate(
"<script type=\"text/javascript\" src=[JWIG]></script>")
.plug("JWIG", manager.makeURL("jwigJS")));
xml = xml
.prependContent(
"//xhtml:body", //It is safe to set a constant id given that only one body may exist
XML.parseTemplate("<div id=\"noscript\" style=\"color:red\">" +
"[ This web application uses JavaScript, which is not enabled in your browser - "