</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 make sure that you have actual knowledge that, but for the Program. Later license versions may give you additional or different permissions. However, no additional obligations are imposed on you (whether by court order, agreement or commitment not to enforce a patent against