echo $is_advanced ? 'Basic search' : 'Advanced search'; ?> »</a></li> <li><a href="<?php echo $MODULE->url('help', '/' . ($is_advanced ? 'advsearch' : 'search')); ?> " onClick="return popup_help(this)">Help on searching »</a></li> <? if ($CONF['always_show_search_form']): ?> <li><a href="<?php echo $MODULE->url('search', '?mode=new'); ?> ">New search »</a></li> <? endif ?> </ol> </fieldset> <? /* Sort/paging controls */?> <fieldset class="sort_by_set"> <ul> <li><?php echo html_query_criterion_list($QUERY, 'sort', NULL, TRUE); ?> </li> <li><?php echo html_query_criterion_list($QUERY, 'page_size', NULL, TRUE); ?> results per page</li> </ul> </fieldset> </div> <? if ($CONF['unit_test_active'] && $SHOW_SEARCH_FORM) print "SHOW_SEARCH_FORM\n" ?>
<?= html_query_criterion_checkbox($QUERY, 'facet_media_type', NULL, TRUE)?> </fieldset> <?php /*--- Availability ---*/?> <fieldset> <?= html_query_criterion_checkbox($QUERY, 'facet_availability', NULL, TRUE)?> </fieldset> <?php /*--- Genre ---*/?> <fieldset> <?= html_query_criterion_checkbox($QUERY, 'facet_genre', NULL, TRUE)?> </fieldset> <? endif /*Advanced*/?> <fieldset class="sort_by_set"> <legend>Results display:</legend> <ul> <li><?= html_query_criterion_list($QUERY, 'sort', NULL, TRUE )?></li> <li><?= html_query_criterion_list($QUERY, 'page_size', NULL, TRUE )?> results per page</li> </ul> </fieldset> <? /*--- Results displaying - Sort/paging controls ----*/?> <? /*--- Help on searching and advanced search links ---*/?> <fieldset id="more-options"> <a href="<?=$MODULE->url('search', '?mode=' . ($is_advanced ? 'basic' : 'advanced') . '&editquery=1')?>"><?=$is_advanced ? 'Basic search' : 'Advanced search'?></a><span> | </span> <a href="<?=$MODULE->url('help', '/' . ($is_advanced ? 'advsearch' : 'search'))?>" target="_blank">Help on searching</a> <? if ($CONF['always_show_search_form']): ?> <span> | </span><a href="<?=$MODULE->url('search', '?mode=new')?>">New search</a> <? endif ?> </fieldset>
function html_query_date_list($query, $name) { return html_query_criterion_list($query, $name, NULL, FALSE, array('render_help' => FALSE)); }
function print_paging() { global $CONF, $QUERY; ?> <div class="results-paging"> <div class="results-messages"><?php echo $QUERY->info['results_message']; ?> | <?php echo $QUERY->info['page_message']; ?> </div> <div class="paging clearfix"> <? if ($QUERY->info['page_first_url']): ?><a href="<?php echo $QUERY->info['page_first_url']; ?> " class="first">« First</a><? else: ?><span class="first">« First</span><? endif ?> <div class="spacer clearfix"> <? if ($QUERY->info['page_prev_url']): ?><a href="<?php echo $QUERY->info['page_prev_url']; ?> " class="prev">‹ Prev</a><? else: ?><span class="prev">‹ Prev</span><? endif ?> <? if (!empty($QUERY->info['page_urls'])): ?> <? foreach ($QUERY->info['page_urls'] as $page_num=>$page_url) { if ($QUERY->page == $page_num) print("<span class='page-num-current'>".format_number($page_num)."</span>"); else print("<a href=\"$page_url\">".format_number($page_num)."</a>"); } ?> <?endif?> <? if ($QUERY->info['page_next_url']): ?><a href="<?php echo $QUERY->info['page_next_url']; ?> ">Next ›</a><? else: ?><span>Next ›</span><? endif ?> </div> <? if ($QUERY->info['page_last_url']): ?><a href="<?php echo $QUERY->info['page_last_url']; ?> " class="last">Last »</a><? else: ?><span class="last">Last »</span><? endif ?> </div> <div class="results-actions"> <? if (count(@$QUERY->get_list('sort')) > 1): ?> Sort results by <?php echo html_query_criterion_list($QUERY, 'sort', array('class' => 'resort', 'data-request_uri' => $_SERVER['REQUEST_URI'], 'data-url' => $QUERY->url(array('sort' => ''), 'page'), 'data-current' => @$QUERY['sort']->get_value()), FALSE); ?> <? endif ?> <? if ($QUERY->info['results_count'] <= $CONF['max_export']): ?> <select name="export" onchange="export_format(this.value)"><?php echo html_options($QUERY->get_list('export_formats'), '', 'Save results as'); ?> </select> <SCRIPT TYPE="text/javascript"> // reload the page with the selected export format specified function export_format(format) { url = location.href; <? if (substr_count($_SERVER['REQUEST_URI'], '?') == 1): ?> url += '&'; <? else: ?> url += '?'; <? endif ?> if (format != '') window.location = url + 'format=' + format; } </SCRIPT> <? endif ?> </div> </div> <? } // end function print_paging