rem: if (scrollTopEl.value) editBoxEl.scrollTop = scrollTopEl.value; 
add: if (scrollTopEl.value) { editBoxEl.scrollTop = scrollTopEl.value; } 
context: function scrollEditBox() {	var editBoxEl = document.getElementById("wpTextbox1");	var scrollTopEl = document.getElementById("wpScrolltop");	var editFormEl = document.getElementById("editform");	if (editBoxEl && scrollTopEl) {		if (scrollTopEl.value) editBoxEl.scrollTop = scrollTopEl.value;		editFormEl.onsubmit = function() {			document.getElementById("wpScrolltop").value = document.getElementById("wpTextbox1").scrollTop;		}	}}
meta: 7966	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/7966/845a064a5667ce4442c1b90f1eb1e013673ae589/wikibits.js/buggy/skins/common/wikibits.js