json_decode(file_get_contents("static/misc/languages.json"), true); $options = ""; $options .= "<option value="" " . (!isset($opts->language) ? "selected" : ""; $options .= "<option value="$engine" $selected>$engine</option>";