84f3e0a9bb0b5090b9676e918e95845cb375343e
Every user can already disable the filter manually, so the explicit setting is absolutely useless and only complicates the logic. Previously, there was also unexpected behavior when multiple query parameters were present. --------- Co-authored-by: zeripath <art27@cantab.net> Co-authored-by: Lunny Xiao <xiaolunwen@gmail.com>
Languages
MDX
62.5%
JavaScript
22.8%
CSS
11.7%
Shell
2%
Makefile
1%