Przeglądaj źródła

append save date to the filename

Gildas 7 lat temu
rodzic
commit
45807b7b08
1 zmienionych plików z 2 dodań i 1 usunięć
  1. 2 1
      extension/core/scripts/content/client.js

+ 2 - 1
extension/core/scripts/content/client.js

@@ -57,8 +57,9 @@
 			singlefile.ui.start();
 			SingleFile.process(options)
 				.then(page => {
+					const date = new Date();
+					page.filename = page.title + " - (" + date.toISOString().split("T")[0] + " " + date.toLocaleTimeString() + ")" + ".html";
 					page.url = URL.createObjectURL(new Blob([page.content], { type: "text/html" }));
-					page.filename = page.title + ".html";
 					downloadPage(page);
 					singlefile.ui.end();
 				})