script type added to the page when using js_inline

Julien Verneuil
1 parent 3cf3b8d7
Showing 1 changed file with 4 additions and 1 deletions Show diff stats
web/CXM_making_a_web_site.anubis
@@ -4637,7 +4637,10 @@ define Printable_tree
           js(jsf)           then
             [add_js_files([jsf]) . _format_html_head(t, so_far)],
           js_inline(jsi)    then
-            ["<script>"+content(jsi)+"</script>\n" . _format_html_head(t, so_far)],
+            if jsi is
+            {
+                script(type, _) then ["<script type=\"" + type + "\">"+content(jsi)+"</script>\n" . _format_html_head(t, so_far)],
+            }
           css(cssf)         then
             ["<link rel=\"stylesheet\" type=\"text/css\" href=\""+file_name(cssf)+"\" />\n" . _format_html_head(t, so_far)],
           css_inline(cssi)  then