Torsten Zuehlsdorff d32899cde3 lang/php7*: Rename option MYSQL to MYSQLND ... Renaming the option to be inline with the already existing MYSQLND option in the mysqli and pdo_mysqli ports. Reported by: Jarrod Sayers <jarrod@downtools.com.au>		2019-01-21 13:19:30 +00:00
..
files	Update to 7.2.11	2018-10-12 15:15:15 +00:00
distinfo	lang/php72: Upgrade from 7.2.13 to 7.2.14	2019-01-14 11:03:01 +00:00
Makefile	lang/php7*: Rename option MYSQL to MYSQLND	2019-01-21 13:19:30 +00:00
Makefile.ext	Remove stale IGNORE_WITH_PHP=56 values.	2019-01-05 15:47:56 +00:00
pkg-descr
pkg-message.mod
pkg-plist	lang/php7*: Rename option MYSQL to MYSQLND	2019-01-21 13:19:30 +00:00
pkg-plist.mod