Merge pull request #1493 from bradymiller/php-7-2-fixes_2
commit937e4a4ee7d72f6872925efa4e99fb84cb20dc35
authorBrady Miller <brady.g.miller@gmail.com>
Mon, 12 Mar 2018 17:11:43 +0000 (12 10:11 -0700)
committerGitHub <noreply@github.com>
Mon, 12 Mar 2018 17:11:43 +0000 (12 10:11 -0700)
tree5d6d98f79c541bb603a32515c2033fd0d972726d
parent1ac378fd2f2e3e6c8b1985e0e8c2965de17785c5
parent8638cc1872be3eedfecc1237b54794770d439139
Merge pull request #1493 from bradymiller/php-7-2-fixes_2

PHP 7.2 fix #1484