New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Closes #13368: Report installed plugins during server error #13387

Merged

jeremystretch merged 3 commits into develop from 13368-server-error-plugins

Aug 7, 2023

Member

jeremystretch commented Aug 4, 2023

Closes: #13368

Introduce a utility function for collecting installed plugins
Refactor slightly into a new extras.plugins.utils module
Extend the 500.html error template to display installed plugins

jeremystretch added 3 commits

August 4, 2023 15:47


          Introduce get_installed_plugins() utility

3597f79


          Extend 500 error template to list installed plugins

82180ec


          Move get_plugin_config() to extras.plugins.utils

a6229ba

jeremystretch merged commit f5a1f83 into develop

jeremystretch deleted the 13368-server-error-plugins branch

August 7, 2023 19:29

kkthxbye-code mentioned this pull request

PR #13387 broke the documented get_plugin_config method as it is documented #13516

Closed

github-actions bot locked as resolved and limited conversation to collaborators

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet