save file

Author: javascript-2020

utils/editors/js-console/v3.0/js-console-v3.0.html

@@ -66,7 +66,7 @@
         var obfuscator;
         var espree;
 
-        var menu;
+        //var menu;
 
         var hdr;
         var filemod;