compare_indexes() compare_indexes( $oldindex, $newindex, $changed, $removed) Parameters $oldindex $newindex $changed $removed
measure_invindex_load_time() measure_invindex_load_time( $invindex_filename) Parameters $invindex_filename
merge_into_invindex() merge_into_invindex( $invindex, $pageid, $index, $removals = array()) Parameters $invindex $pageid $index $removals
delete_entry() delete_entry( $invindex, \number $pageid) Deletes the given pageid from the given pageindex. Parameters $invindex \number $pageid The pageid to remove.