<option value="catppuccin_latte">Catppuccin Latte</option> <option value="catppuccin_frappe">Catppuccin Frappe</option> <option value="catppuccin_macchiato">Catppuccin Macchiato</option> <option value="catppuccin_mocha">Catppuccin Mocha</option> <option value="ubuntu">Ubuntu</option> <option value="tokyo_night">Tokyo Night</option>"; if (!isset($opts->theme)) { $theme = $default; } $theme = $opts->theme; $themes = str_replace($theme . """, $theme . "" value="; echo htmlspecialchars($opts->frontends["$frontend"]["instance_url"] ?? ""); echo ">"; echo "</div>"; } ?> </div> </form> <?php fetch_search_results($opts, true); print_page_buttons($opts->type, $opts->query, $opts->page); ?> <?php return (object) array( // e.g.: fr -> https://google.fr/ "google_domain" => "com", // Results will be better for different programs; see section 13 for the specific operating system (if any) on which the executable work include anything, other than