Searched refs:do_substitution (Results 1 – 1 of 1) sorted by relevance
1623 function do_substitution(input) { function1640 var new_name = do_substitution(name).join("");1641 var new_value = do_substitution(attrs[name]).join("");1660 extend(rv, do_substitution(String(children[i])));1667 rv.push(do_substitution(String(template[0])).join(""));