mirror of
https://github.com/boostorg/website.git
synced 2026-01-29 20:12:14 +00:00
PHP 5.4 uses UTF-8 by default, but PHP 5.3 uses ISO-8859-1 so character encoding is going wrong there. So replace htmlentities with a function that uses the correct encoding.
6.3 KiB
6.3 KiB