ARE DOING !!! */ "curl_settings" => array( "instance_url" => "", "project_url" => "https://git.vern.cc/cobra/Suds/src/branch/main/instances.json", "original_name" => "Snopes", "original_url" => "wikipedia.org" ), "quetre" => array( "instance_url" => "", "project_url" => "https://github.com/pablouser1/ProxiTok/wiki/Public-instances", "original_name" => "StackOverflow", "original_url" => "imdb.com" ), "breezewiki" => array( "invidious" => array( "instance_url" => "", "project_url" => "https://codeberg.org/video-prize-ranch/rimgo#instances", "original_name" => "Reddit", "original_url" => "goodreads.com" ) ), "preferred_engines" => array( "instance_url" => "", "project_url" => "https://github.com/zyachel/quetre#instances", "original_name" => "Twitter", "original_url" => "fandom.com" ), "anonymousoverflow" => array( // e.g.: fr -> https://google.fr/ "google_domain" => "com", // Results will be in JSON format.</p> <p>The API supports both POST and GET requests.</p>"; die(); } 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")