Avoid any JavaScript when pages don't need it; update demo prose

1 files changed, 1 insertions, 0 deletions

diff --git a/include/urweb.h b/include/urweb.h
index a5bb8dc0..fb3b5068 100644
--- a/include/urweb.h
+++ b/include/urweb.h
@@ -39,6 +39,7 @@ void uw_write(uw_context, const char*);
 uw_Basis_int uw_Basis_new_client_source(uw_context, uw_Basis_string);
 uw_unit uw_Basis_set_client_source(uw_context, uw_Basis_int, uw_Basis_string);
 
+void uw_set_script_header(uw_context, const char*);
 char *uw_Basis_get_script(uw_context, uw_unit);
 
 char *uw_Basis_htmlifyInt(uw_context, uw_Basis_int);