mirror of
https://github.com/boostorg/website.git
synced 2026-01-29 08:02:20 +00:00
860cb21970
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.
14 lines
442 B
PHP
14 lines
442 B
PHP
<?php
|
|
/*
|
|
Copyright 2007 Redshift Software, Inc.
|
|
Distributed under the Boost Software License, Version 1.0.
|
|
(See accompanying file LICENSE_1_0.txt or http://www.boost.org/LICENSE_1_0.txt)
|
|
*/
|
|
require_once(dirname(__FILE__) . '/boost_config.php');
|
|
require_once(dirname(__FILE__) . '/boost_version.php');
|
|
boost_set_current_version(1,55,0);
|
|
|
|
function html_encode($text) {
|
|
return htmlentities($text, ENT_COMPAT | ENT_HTML401, 'UTF-8');
|
|
}
|