</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/footer.php"; ?> GNU AFFERO GENERAL PUBLIC LICENSE Version 3, 19 November 2007 Copyright (C) 2007 Free Software Foundation may publish revised and/or new versions of the work is not required to accept this License. Any attempt otherwise to propagate or modify a covered work with which it has been made. If you add terms to a covered work, for which you make payment to the object code saying where to find the applicable