add: } 
context: function fillDestFilename(id) {	if (!document.getElementById)		return;	var path = document.getElementById(id).value;	// Find trailing part	var slash = path.lastIndexOf('/');	var backslash = path.lastIndexOf('\\');	var fname;	if (slash == -1 && backslash == -1) {		fname = path;	} else if (slash > backslash) {		fname = path.substring(slash+1, 10000);	} else {		fname = path.substring(backslash+1, 10000);	}	// Capitalise first letter and replace spaces by underscores	fname = fname.charAt(0).toUpperCase().concat(fname.substring(1,10000)).replace(/ /g, '_');	// Output result	var destFile = document.getElementById('wpDestFile');	if (destFile)		destFile.value = fname;}
meta: 7966	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/7966/845a064a5667ce4442c1b90f1eb1e013673ae589/wikibits.js/buggy/skins/common/wikibits.js