Merge pull request #4266 from dokuwiki/environment
commit66338e0e41b6a51939b445c458fa2c0ece7690c0
authorAndreas Gohr <andi@splitbrain.org>
Thu, 16 May 2024 06:56:13 +0000 (16 08:56 +0200)
committerGitHub <noreply@github.com>
Thu, 16 May 2024 06:56:13 +0000 (16 08:56 +0200)
tree625006f12c7614b95eca688b51cd3521363c55e5
parent4a5075554afc3e3fa604e626f6855f0dff0c2558
parent7460b1981534db4c2551507e108c1cb99e40ea8a
Merge pull request #4266 from dokuwiki/environment

Output more version data on the admin screen
inc/Ui/Admin.php