Function getScript

manual/examples/resources/editor.js:226–238

( url, scriptInfos )

	}

	async function getScript( url, scriptInfos ) {

		// check it's an example script, not some other lib
		if ( ! scriptInfos[ url ].source ) {

			const source = await getHTML( url );
			const fixedSource = fixSourceLinks( url, source );
			const { text } = await getWorkerScripts( fixedSource, url, scriptInfos );
			scriptInfos[ url ].source = text;

		}

	}

	/**
 * @typedef {Object} ScriptInfo