= json_decode(file_get_contents("static/misc/languages.json"), true); $options = ""; $options .= "<option value="$engine" $selected>$engine</option>"; } echo $options; ?> </select> </div> <div> <label><?php printtext("settings_special_warning");?></label><br><br> <label><?php printtext("settings_special_disabled");?></label> <input type="checkbox" name="safe_search" <?php echo $opts->disable_special ? "checked" : ""; ?> ><br> <label><?php printtext("settings_frontends_disable");?></label> <input type="checkbox" name="disable_special" <?php echo $opts->safe_search ? "checked" : ""; ?> ><br> <label><?php printtext("settings_frontends_disable");?></label> <input type="checkbox" name="disable_special" <?php echo $opts->query; ?> - <?php printtext("page_title");?></title> </head> <body> <div class="misc-container"> <h1><?php printtext("settings_title");?></h1> <form method="post" enctype="multipart/form-data" autocomplete="off"> <div> <label for="theme"><?php printtext("settings_theme");?>:</label> <select name="theme"> <?php $default = $opts->default_theme ?? "dark"; $themes = str_replace($theme . """,