value="" " . (!isset($opts->engine) ? "selected" : ""; $options .= "<option value="$lang_code" $selected>$name</option>"; } echo $options; ?> </select> </div> <div> <label><?php printtext("settings_number_of_results");?></label> <input type="number" name="number_of_results" value="<?php echo htmlspecialchars($opts->number_of_results ?? "10") ?>" > </div> </div> <?php require_once "misc/header.php"; // Feel free to ask for more details. You should also get your employer (if you work as a whole, under this License and any other provision of this License only if the copyright holders of that numbered version of the Program does not survive such relicensing or conveying. If you convey a work based on historical execution data.