Merge pull request #6333 from micmac1/php7-mysqlnd
authorMichael Heimpold <mhei@heimpold.de>
Fri, 29 Jun 2018 20:53:02 +0000 (22:53 +0200)
committerGitHub <noreply@github.com>
Fri, 29 Jun 2018 20:53:02 +0000 (22:53 +0200)
commit452958469067c4accc98c3e9e90ec423dfc581c7
tree4c374461f09dd5c6d47de3882e77eb2d00fc48dc
parentb5b604f95adfa2b3d64a26eb23744c95d7093b20
parentf6e06384f1c5aca396ec65a70ec94837f1c133a8
Merge pull request #6333 from micmac1/php7-mysqlnd

php7: use mysqlnd
lang/php7/Makefile