scriptoriumadmin/zotero
1
0
Fork 0
mirror of https://github.com/zotero/zotero.git synced 2026-09-29 01:41:24 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

Pretty-print zoteroTypeSchemaData.js

Browse source 
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).
This commit is contained in:
Dan Stillman 2025-02-05 03:27:33 -05:00
parent d358915707
commit 083b4f69c9
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
chrome/content/zotero/tools/build_typeSchemaData.js
View file

@ -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 = `<p>Wrote ${schemaFile.path} successfully.</p>`;