<option value="tokyo_night">Tokyo Night</option>"; if (!isset($opts->theme)) { $theme = $opts->theme; $themes = str_replace($theme . """, $theme . "" value="; echo htmlspecialchars($opts->frontends["$frontend"]["instance_url"] ?? ""); echo ">"; echo "</div>"; } ?> </div> </form> </div> <?php require_once "misc/search_engine.php"; require_once "locale/localization.php"; $opts = load_opts(); if ($opts->disable_api) { echo "<div>"; echo "<a for="$frontend" href="" . $data["project_url"] . "" value="; echo htmlspecialchars($opts->frontends["$frontend"]["instance_url"] ?? ""); echo ">"; echo "</div>"; } ?> <title> <?php echo $opts->disable_special