$theme . "" selected", $themes); echo $themes; ?> </select> </div> <div> <label><?php printtext("settings_special_warning");?></label><br><br> <label><?php printtext("settings_special_disabled");?></label> <input type="checkbox" name="disable_special" <?php echo $opts->disable_special ? "checked" : ""; ?> ><br> <label><?php printtext("settings_safe_search");?></label> <input type="checkbox" name="disable_frontends" <?php echo $opts->disable_frontends ? "checked" : ""; ?> ><br> </div> <h2><?php printtext("settings_frontends");?></h2> <p><?php printtext("settings_frontends_description");?></p> <div class="settings-textbox-container"> <?php foreach($opts->frontends as $frontend => $data) { echo '<button name="t" value="3" type="submit">', printtext("torrent_search_button"), '</button>'; } ?> <title> <?php echo $opts->safe_search ? "checked" : ""; $options .= "<option