Merge pull request #4172 from dokuwiki/updatemessage
commit9ada0a85a26c3d501d9c326de2ea247b3b360dd9
authorAndreas Gohr <andi@splitbrain.org>
Tue, 30 Jan 2024 08:39:19 +0000 (30 09:39 +0100)
committerGitHub <noreply@github.com>
Tue, 30 Jan 2024 08:39:19 +0000 (30 09:39 +0100)
tree2c835952fe86fc9629549a2539d7e662ed4da4a7
parent0175e14a9f5de0aa6cd5779a8e2bacf3efbd1e13
parentf4d0426bce98087fc205dde2e72c72ad2c981182
Merge pull request #4172 from dokuwiki/updatemessage

show update message in Extension Manager if available