From 083b4f69c9fd8ab39b4e964d1c6bcd1998b84c1a Mon Sep 17 00:00:00 2001 From: Dan Stillman Date: Wed, 5 Feb 2025 03:27:33 -0500 Subject: [PATCH] Pretty-print zoteroTypeSchemaData.js We should get rid of this, but in the meantime, pretty-print it (though it will need to be generated in a new data directory to be consistent). --- chrome/content/zotero/tools/build_typeSchemaData.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/chrome/content/zotero/tools/build_typeSchemaData.js b/chrome/content/zotero/tools/build_typeSchemaData.js index 86f1ce0fbd..ffcaaf73a7 100644 --- a/chrome/content/zotero/tools/build_typeSchemaData.js +++ b/chrome/content/zotero/tools/build_typeSchemaData.js @@ -80,7 +80,7 @@ var { FilePicker } = ChromeUtils.importESModule('chrome://zotero/content/modules schemaFile.append("zoteroTypeSchemaData.js"); await Zotero.File.putContentsAsync( schemaFile, - `var ZOTERO_TYPE_SCHEMA = ${JSON.stringify(schema)};\n\n` + `var ZOTERO_TYPE_SCHEMA = ${JSON.stringify(schema, null, '\t')};\n\n` + "if (typeof module !== 'undefined') {\n\tmodule.exports = ZOTERO_TYPE_SCHEMA;\n}\n" ); resultElem.innerHTML = `

Wrote ${schemaFile.path} successfully.

`;