Local documentation links have non escaped BB code shown to the user

[williamdes]

Describe the bug

A clear and concise description of what the bug is.

To Reproduce

Steps to reproduce the behavior:

1. Have mysqli extension missing
2. Have local documentation built (cd doc && make html)

Expected behavior

Show a link to local documentation

Screenshots

Server configuration

• phpMyAdmin version: 5.x

Additional context

See Core::sanitizeMessage to start the fix and apply the patch to have a test case

diff --git a/test/classes/MessageTest.php b/test/classes/MessageTest.php
index 1199f71574..ecd2db9066 100644
--- a/test/classes/MessageTest.php
+++ b/test/classes/MessageTest.php
@@ -428,6 +428,10 @@ class MessageTest extends PmaTestCase
                 . 'latest%2Fsetup.html%23foo" '
                 . 'target="documentation">link</a>',
             ],
+            [
+                '[a@doc/html/faq.html#faqmysql@documentation]link[/a]',
+                '<a href="doc/html/faq.html#faqmysql">link</a>',
+            ],
         ];
     }

Run: ./vendor/bin/phpunit --filter=testDecodeBB --no-coverage

Use branch: QA_5_0 as a base branch to the fix and the PR