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