2 Commits

Author	SHA1	Message	Date
Natalie Weizenbaum	dc80f59165	WebHost: Expose name groups through the weighted-settings UI (#2327) ... * Factor out a common function for building lists * Expose name groups through the weighted-settings UI * Fix weighted-settings page The request for the JSON file that provides the setting data was missed during the rename in #2037, so prior to this the weighted settings page wasn't rendering at all.	2023-10-31 17:25:07 -04:00
Aaron Wagener	764128568e	WebHost: consistent naming for player options (#2037) ... * WebHost: unify references to options * it was just an extra s the whole time... * grammar * redirect from old pages * redirect stuff correctly * use url_for * use " for modified strings * remove redirect cache * player_settings * update site map	2023-10-24 02:20:08 +02:00