mirror of
https://github.com/zulip/zulip.git
synced 2025-11-10 08:56:10 +00:00
Fixes #15205. https://python-markdown.github.io/change_log/release-3.0/#homegrown-ordereddict-has-been-replaced-with-a-purpose-built-registry https://python-markdown.github.io/change_log/release-3.0/#md_globals-keyword-deprecated-from-extension-api The priority numbers are arbitrarily chosen to preserve the existing order. Signed-off-by: Anders Kaseorg <anders@zulip.com>
2.4 KiB
2.4 KiB