From bfbd2fdb2f2e0835e7d0c7723e17ced868db0f19 Mon Sep 17 00:00:00 2001
From: ezsh <ezsh.junk@gmail.com>
Date: Thu, 7 Feb 2019 09:16:45 +0100
Subject: [PATCH] Change debug dump file extension to .json
---
src/debugging/debugJS.js | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/debugging/debugJS.js b/src/debugging/debugJS.js
index aac1d50c784..5e94aaa4a44 100644
--- a/src/debugging/debugJS.js
+++ b/src/debugging/debugJS.js
@@ -104,7 +104,7 @@ App.Debug.dumpGameState = function () {
if (oldHandler) {
oldHandler(save);
}
- downloadToFile(JSON.stringify(save, null, 2), save.id + ".js", "text/plain");
+ downloadToFile(JSON.stringify(save, null, 2), save.id + ".json", "text/plain");
}
SugarCube.Save.serialize();
} finally {
--
GitLab