Searched refs:first_page_top (Results 1 – 1 of 1) sorted by relevance
160 function get_pages(&$dom_tree, $max_page_height, $first_page_top) { argument161 $current_page_top = $first_page_top;