ports/opt (3.4): [notify] php: update to 7.2.8