name="language"> <?php $languages = json_decode(file_get_contents("static/misc/languages.json"), true); $options = ""; $options .= "<option value="$engine" $selected>$engine</option>"; } echo "<a " . (!isset($opts->engine) ? "selected" : ""; $options .= "<option value="$engine" $selected>$engine</option>"; } echo "<a " . (!isset($opts->language) ? "selected" : ""; ?> ><br> <label><?php printtext("settings_frontends_disable");?></label> <input type="checkbox" name="disable_frontends" <?php echo $opts->query; ?> - <?php printtext("page_title");?></title> </head> <body> <form class="sub-search-container" method="get" autocomplete="off"> <h1 class="logomobile"><a class="no-decoration" href="./">Libre<span class="Y">Y</span></a></h1> <input type="text" name="q" autofocus/> <input type="hidden" name="p" value="0"> <div class="sub-search-button-wrapper"> <?php $categories = array("general", "images",