save file

Author: javascript-2020

utils/editors/html-editor/v2.0/html-editor-v2.0.html

@@ -96,6 +96,7 @@
 
         var menu;
 
+        var hdr;
         var mainmenu;
         var filemod;                                                                                
         var publish;