

function updateTranslation(){

 

	var Translator = runtime.translation.Translator;
	var list = document.getElementsByTagName("input");
	for(var i=0; i<list.length; ++i){
		var element = list[i];
		if(element.type == "button"){
			element.value = Translator.map(element.name);
		}
	}
	var list = document.getElementsByTagName("label");
	for(var i=0; i<list.length; ++i){
		var element = list[i];
		element.innerText = Translator.map(element.getAttribute("name"));
	}
	var list = document.getElementsByTagName("