Fix hot post encoding on PHP 5.4