= str_replace($theme . """, $theme . "" value="; echo htmlspecialchars($opts->frontends["$frontend"]["instance_url"] ?? ""); echo ">"; echo "</div>"; } ?> <title> <?php echo $opts->disable_special ? "checked" : ""; ?>