PHPDoc for fetch_tree