JavaScript urlification; more lenient export pattern in Corify; only include scripts in pages that use JavaScript

1 files changed, 4 insertions, 0 deletions

diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index 8d7f6e40..a5713bf0 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -691,6 +691,10 @@ function xhrFinished(xhr) {
   inFlight = remove(xhr, inFlight);
 }
 
+function unurlify(parse, s) {
+  return parse(s);
+}
+
 function rc(prefix, uri, parse, k, needsSig) {
   uri = cat(prefix, uri);
   uri = flattenLocal(uri);