Merge pull request #1491 from bradymiller/php-7-2-fixes_1
commitd6c0c08cc7a2ab52880978c4b285c38ce6937353
authorBrady Miller <brady.g.miller@gmail.com>
Mon, 12 Mar 2018 15:39:30 +0000 (12 08:39 -0700)
committerGitHub <noreply@github.com>
Mon, 12 Mar 2018 15:39:30 +0000 (12 08:39 -0700)
treedeb7507b6815bc5e79df67390b4a03ee6bceb1c0
parent22ac486c19e4843553a6b7406d4bf1932c5b0699
parent3252a0ddde2bdc1c4e0e3b4d5de170c0ac96b8ba
Merge pull request #1491 from bradymiller/php-7-2-fixes_1

php 7.2 fixes #1483