Merge pull request #3841 from gturri/fix_toolbar
commit70ac817e5ec0d95aafeae9e5bb93d82eacb41a02
authorAndreas Gohr <andi@splitbrain.org>
Sat, 10 Dec 2022 14:28:10 +0000 (10 15:28 +0100)
committerGitHub <noreply@github.com>
Sat, 10 Dec 2022 14:28:10 +0000 (10 15:28 +0100)
tree05519a94cdaca95323ca29204724e2d612bf2ccf
parent3bcc41056f1c56a7fb5dbbfedd82a4db0513f172
parentc7a4b560d2469d5a8af7867dcb3ce847e924bb61
Merge pull request #3841 from gturri/fix_toolbar

Fix warning from toolbar.php when $INFO is null