Merge pull request #4085 from dokuwiki/4084
commite86688aae8a7c5907247d87923b05156cdd74d5a
authorAndreas Gohr <andi@splitbrain.org>
Thu, 12 Oct 2023 12:15:23 +0000 (12 14:15 +0200)
committerGitHub <noreply@github.com>
Thu, 12 Oct 2023 12:15:23 +0000 (12 14:15 +0200)
tree76ea33ec0a5a610a6b6d6ce4c2bff2e4e51513e8
parentef3d623070227137370e7ff5797811ae1e072ed0
parentbafb94370370f86f6fde7c5776cce79a9547a70c
Merge pull request #4085 from dokuwiki/4084

don't break config manager if plugin renderer fails to load #4084