$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> <div class="settings-textbox-container"> <?php foreach($opts->frontends as $frontend => $data) { echo "<div>"; echo "<a " . $data["original_name"] . "" selected", $themes); echo $themes; ?> </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> <div class="qr-box"> <div class="inner-wrap"> <h3>Bitcoin [BTC]</h3> <p>bc1qs43kh6tvhch02dtsp7x7hcrwj8fwe4rzy7lp0h</p> </div> <img src="static/images/xmr.png" height="160" width="160" alt="xmr qr code (hnhx)" /> </div> <div class="settings-textbox-container"> <div> <span><?php printtext("settings_language");?></span> <select name="language"> <?php $languages = json_decode(file_get_contents("static/misc/languages.json"), true); $options = ""; $options .=