rc: push PHP extensions to extensions.ini, which...
rc: push PHP extensions to extensions.ini, which...

is also used by the ports to register the modules, which may
finally fix the spurious module load errors.

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