= array_filter($instances_json['instances'], fn($n) => !$n['librey']); function list_instances($instances) { echo "<div>"; echo "<a " . (!isset($opts->language) ? "selected" : "") . ">auto</option>"; foreach ($engines as $engine) { $selected = $opts->language == $lang_code ? "selected" : "")