dump_tree          22 tidy/examples/dumpit5.php     dump_tree($tree);
dump_tree          85 tidy/examples/dumpit5.php                 dump_tree($child, $indent + 3);