Strings::fixEncoding() uses mbstring in PHP 5.3, because htmlspecialchars can be very slow