bugix: htmlspecialchars behavior has been changed since PHP5.4