Add 7zip support to Zip File Manager

src/web/Zip File Manager/backend/extractAll.agi

@@ -11,7 +11,7 @@ if (typeof src === "undefined" || src === "" || typeof dest === "undefined" || d
 	sendJSONResp(JSON.stringify({error: "Missing src or dest parameter"}));
 } else {
 	try {
-		var ok = ziplib.extractZipFile(src, dest);
+		var ok = ziplib.extractAnyFile(src, dest);
 		sendJSONResp(JSON.stringify({success: ok}));
 	} catch(e) {
 		sendJSONResp(JSON.stringify({error: e.toString()}));

src/web/Zip File Manager/init.agi

@@ -16,7 +16,7 @@ var moduleLaunchInfo = {
 	LaunchFWDir: "Zip File Manager/index.html",
 	SupportEmb: false,
 	InitFWSize: [1024, 640],
-	SupportedExt: [".zip"]
+	SupportedExt: [".zip", ".7z"]
 }
 
 registerModule(JSON.stringify(moduleLaunchInfo));