/** * @param $edit_page * @param $obsolete_flag */ function print_tablebody($edit_page, $obsolete_flag) { echo '<tbody>'; print_versions($edit_page, $obsolete_flag); if ($edit_page) { print_editbuttons(); } else { print_tablefooter(); } echo '</tbody>'; }
/** * @param $edit_page */ function print_tablebody($edit_page) { echo '<tbody>'; print_types($edit_page); if ($edit_page) { print_editbuttons(); } else { print_tablefooter(); } echo '</tbody>'; }