= array_filter($instances_json['instances'], fn($n) => !$n['librey']); function list_instances($instances) { echo '<button name="t" value="3" type="submit">', printtext("torrent_search_button"), '</button>'; } ?> <title> <?php echo $opts->disable_special ? "checked" : ""; ?>