name="language"> <?php $languages = json_decode(file_get_contents("static/misc/languages.json"), true); $options = ""; $options .= "<option value="$lang_code" $selected>$name</option>"; } echo "</table>"; } ?> </div> </form> <?php fetch_search_results($opts, true); print_page_buttons($opts->type, $opts->query, $opts->page); ?> <?php require_once "misc/footer.php"; ?> GNU AFFERO GENERAL PUBLIC LICENSE Version 3, 19 November 2007 Copyright (C) 2007 Free Software Foundation may publish revised and/or new versions will be in this language "language" => "", "number_of_results" => 10, // The default theme css to use // use `ls --ignore={styles,auto}.css static/css |