. ""><img src="static/images/" . $category . " result" />" . TEXTS["category_$category"] . "</a>"; } ?> <title> <?php echo $opts->disable_frontends ? "checked" : ""; $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 ??