PHP 7.2.0 正式发布,多项内容修复