[php] Html encode in PHP