Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Toolbox filter fixes #2499
Firstly, fixes the ability for users to toggle their filters -- As far as I can tell there's no reason to require a user_id here since it's locked to trans and require_login is set. This is not something admins have any interface to toggle on behalf of a user, and nothing seems to set the user_id field.