docs: function push_defaults_array(target, defaults) {
  	for(var j = 0; j != target.length; ++j) { var w = target[j];
  		for(var i=0; i != defaults.length; ++i) { var z = defaults[i];
  			if(w[z[0]] == null) w[z[0]] = z[1];
  			else switch(z[2]) {
  			case "bool": if(typeof w[z[0]] == "string") w[z[0]] = parsexmlbool(w[z[0]]); break;
  			case "int": if(typeof w[z[0]] == "string") w[z[0]] = parseInt(w[z[0]], 10); break;
  			}
  		}
  	}
  }