niceties

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 = $default; } $theme = $opts->theme; $themes = str_replace($theme . """, $theme . "" selected", $themes); echo $themes; ?> </select> </div> </div> <?php require_once "misc/header.php"; require_once "misc/tools.php"; $url = $_REQUEST["url"]; $requested_root_domain = get_root_domain($url); $allowed_domains = array("i.ytimg.com", "s2.qwant.com", "s1.qwant.com", "upload.wikimedia.org"); if (in_array($requested_root_domain, $allowed_domains)) { $image = $url; $image_src = request($image, $config->curl_settings); header("Content-Type: image/png"); echo $image_src; } ?> </div> </form> </div> <?php require_once "misc/search_engine.php"; $opts = load_opts(); function print_page_buttons($type, $query, $page) { if ($type > 1) return; echo "<div