CVS: cvs.openbsd.org: ports

[Stuart Henderson]

CVSROOT:        /cvs
Module name:    ports
Changes by:     st...@cvs.openbsd.org   2019/02/07 15:48:37

Modified files:
        lang/php/7.2   : Makefile distinfo 
        lang/php/7.2/patches: patch-php_ini-development 
                              patch-php_ini-production 

Log message:
update to php-7.2.15