Merge pull request #3935 from dokuwiki/mediamanagerheight
commit53995387957eade130326fba72a87466556093f5
authorAndreas Gohr <andi@splitbrain.org>
Tue, 4 Apr 2023 07:08:30 +0000 (4 09:08 +0200)
committerGitHub <noreply@github.com>
Tue, 4 Apr 2023 07:08:30 +0000 (4 09:08 +0200)
treed25bf13a0192ccaa70a3b29ee71836c9987157f4
parent9b668cef8c1027bda55469088f85112f6de6c309
parentd0eb8bfe20f8cf1dbc9e94d9eb82dcfbdf6af149
Merge pull request #3935 from dokuwiki/mediamanagerheight

simplify media manager panel height