Filter by server type

[roydejong]

Summary

The Server Browser UI should add an option to filter by server type, so that players choose what they want to see. In particular, this will be helpful to filter out official games or Quick Play games as they may not always be relevant.

This will require work on both the API and Mod side.

UI

Ideally, this would be a number of checkmarks that can be added/removed freely to create your own filter set. Your selection would be stored in the mod's preferences.

The actual options depend on how MultiplayerExtensions and BeatTogether end up working in the future, but there will be several distinct server types:

• Official Quick Play (unmodded, no customers)
• Official Custom (possibly unmodded? depends on MpEx)
• Modded Quick Play (BeatTogether Quick Play with Customs)
• Modded Custom (BeatTogethether Dedis with Customs)
• Private servers (maybe, for special stuff like BeatDedi, possibly masterserverless)

[roydejong]

I've added this to the web UI, and I'll consider porting it to the mod later.

For now, let's just see how things pan out when the MP mods are (eventually) released again