add: testText = testText.replace(/\$\{encoding\}/g, options["global.encoding"]); 
context: function format(testCase, name, saveHeaderAndFooter, useDefaultHeaderAndFooter) {	var text;	var commandsText = "";	var testText;	var i;		for (i = 0; i < testCase.commands.length; i++) {		var text = getSourceForCommand(testCase.commands[i]);		commandsText = commandsText + text;	}		var testText;	if (testCase.header == null || testCase.footer == null || useDefaultHeaderAndFooter) {		testText = options.testTemplate;		testText = testText.replace(/\$\{name\}/g, name);		var commandsIndex = testText.indexOf("${commands}");		if (commandsIndex >= 0) {			var header = testText.substr(0, commandsIndex);			var footer = testText.substr(commandsIndex + "${commands}".length);			testText = header + commandsText + footer;			if (saveHeaderAndFooter) {				testCase.header = header;				testCase.footer = footer;			}		}	} else {		testText = testCase.header + commandsText + testCase.footer;	}		return testText;}
meta: 3175	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3175/8c6bee0659653d06eef565a6c6695a89c3ae02d0/html.js/clean/src/content/formats/html.js