]> source.dussan.org Git - rspamd.git/commitdiff
Merge pull request #4257 from moisseev/webui
authorVsevolod Stakhov <vsevolod@rspamd.com>
Wed, 31 Aug 2022 20:25:59 +0000 (21:25 +0100)
committerGitHub <noreply@github.com>
Wed, 31 Aug 2022 20:25:59 +0000 (21:25 +0100)
[WebUI] Wrap Prism.highlightElement


Trivial merge