Deprecated: mb_convert_encoding(): Handling HTML entities via mbstring is deprecated; use htmlspecialchars, htmlentities, or mb_encode_numericentity/mb_decode_numericentity instead in /srv/patchdemo-wikis/4bc24e068d/w/vendor/wikimedia/html-formatter/src/HtmlFormatter.php on line 94 New York (state) - Patch demo (946968,3 947347,3)
