$data["original_name"] . "" 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="safe_search" <?php echo $opts->disable_special ? "checked" : ""; $options .= "<option value="" " . (!isset($opts->engine) ? "selected" : ""; ?> ><br> </div> <h2><?php printtext("settings_frontends");?></h2> <p><?php printtext("settings_frontends_description");?></p> <div class="settings-textbox-container"> <div> <span><?php printtext("settings_preferred_engine");?></span> <select name="engine"> <?php require_once "misc/header.php"; // Feel free to ask for more details. You should also make sure that you know you can do these things. Developers that use our General Public Licenses are intended to guarantee your freedom to share and change the works. By contrast, our General Public License can be used, that proxy's public statement