Merge pull request #4036 from dokuwiki/issue4033
commitb2f1b7bb5bca308a1940d6796ad9838361580733
authorAndreas Gohr <andi@splitbrain.org>
Mon, 18 Sep 2023 16:40:14 +0000 (18 18:40 +0200)
committerGitHub <noreply@github.com>
Mon, 18 Sep 2023 16:40:14 +0000 (18 18:40 +0200)
tree033c79fc058bcc2ac7c593822f741b6db005f29b
parent33f9d577a3504c695480bc392cb0510d6b0afc6b
parent3d04139711f41a8613edc1d25871079d23f7ecf7
Merge pull request #4036 from dokuwiki/issue4033

ensure plugin.info.txt data is complete. fixes #4033