Fix HTML exporting

public/js/extra.js

@@ -1084,5 +1084,7 @@ module.exports = {
   owner: owner,
   updateLastChangeUser: updateLastChangeUser,
   updateOwner: updateOwner,
-  parseMeta: parseMeta
+  parseMeta: parseMeta,
+  exportToHTML: exportToHTML,
+  exportToRawHTML: exportToRawHTML
 };

public/js/index.js

@@ -53,6 +53,8 @@ var owner = extra.owner;
 var updateLastChangeUser = extra.updateLastChangeUser;
 var updateOwner = extra.updateOwner;
 var parseMeta = extra.parseMeta;
+var exportToHTML = extra.exportToHTML;
+var exportToRawHTML = extra.exportToRawHTML;
 
 var historyModule = require('./history');
 var writeHistory = historyModule.writeHistory;
@@ -755,7 +757,7 @@ function updateStatusBar() {
 }
 
 //ui vars
-var ui = {
+window.ui = {
     spinner: $(".ui-spinner"),
     content: $(".ui-content"),
     toolbar: {