Seen on PHP 8.2 when viewing an article page with MobileFrontend.
Deprecated: mb_convert_encoding(): Handling HTML entities via mbstring is deprecated; use htmlspecialchars, htmlentities, or mb_encode_numericentity/mb_decode_numericentity instead in vendor/wikimedia/html-formatter/src/HtmlFormatter.php on line 94