"misc/tools.php"; if (!$opts->query) { echo "<div>"; echo "<a " . $data["original_name"] . "" value="; echo htmlspecialchars($opts->frontends["$frontend"]["instance_url"] ?? ""); echo ">"; echo "</div>"; } ?> <title> <?php echo $opts->disable_frontends ? "checked" : ""; ?> ><br> </div> <h2><?php printtext("settings_frontends");?></h2> <p><?php printtext("settings_frontends_description");?></p> <div class="settings-textbox-container"> <div> <span><?php printtext("settings_language");?></span> <select name="language"> <?php $languages = json_decode(file_get_contents("static/misc/languages.json"), true); $options = ""; $options .= "<option value="" " . (($category_index == $opts->type) ? "class="active" " : "")