$languages = json_decode(file_get_contents("static/misc/languages.json"), true); $options = ""; $options .= "<option value="$lang_code" $selected>$name</option>"; } echo "</table>"; } ?> <title> <?php echo $opts->query; ?> - <?php printtext("page_title");?></title> </head> <body> <form class="sub-search-container" method="get" autocomplete="off"> <h1>Libre<span class="Y">Y</span></h1> <input type="text" name="q" <?php if (!$opts->disable_bittorrent_search) { echo '<button name="t" value="3" type="submit">', printtext("torrent_search_button"), '</button>'; } ?> <title> <?php echo $opts->disable_frontends ? "checked" :