From 323245686403f62c3a3ea517d082c87bc000a3b5 Mon Sep 17 00:00:00 2001 From: William Grant Date: Fri, 28 Oct 2022 16:07:26 +1100 Subject: [PATCH] fix: make updatei18nKeysType.py work with python 3 --- tools/updateI18nKeysType.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/updateI18nKeysType.py b/tools/updateI18nKeysType.py index 11dfb29cf..585a07490 100755 --- a/tools/updateI18nKeysType.py +++ b/tools/updateI18nKeysType.py @@ -19,7 +19,7 @@ with open(EN_FILE,'r') as jsonFile: data = json.load(jsonFile) keys = data.keys() - stringToWrite += json.dumps(keys, sort_keys=True).replace(',', '\n |').replace('"', '\'')[1:-1] + stringToWrite += json.dumps(list(keys), sort_keys=True).replace(',', '\n |').replace('"', '\'')[1:-1] stringToWrite += ';\n'