pkg: switch to PHP 7.2
pkg: switch to PHP 7.2

For older package sets use:

    # make upgrade CORE_PHP=71

Discussed with: @adschellevis

opnsense/core,opnsense/core,opnsense/core,opnsense/core,opnsense/core,opnsense/core