1 files changed, 1 insertions, 0 deletions
diff --git a/public/js/index.js b/public/js/index.js
index 1ba10e14..77ab089c 100644
--- a/public/js/index.js
+++ b/public/js/index.js
@@ -36,6 +36,7 @@ var renderTOC = extra.renderTOC;
 var renderTitle = extra.renderTitle;
 var renderFilename = extra.renderFilename;
 var renderTags = extra.renderTags;
+var isValidURL = extra.isValidURL;
 var scrollToHash = extra.scrollToHash;
 var updateLastChangeUser = extra.updateLastChangeUser;
 var updateOwner = extra.updateOwner;