nefh Update to PHP 7.20