Merge pull request #15545 from r00ster91/autodocthing

autodoc: make help modal toggleable and allow entering "?" in search
8ece99083fLoris Cro committed on 5/11/2023, 3:44:55 PM· committed by GitHubparents3bb3d39eab4cd7
2 files changedLine totals unavailable