Merge pull request #62 from morloi/php51
authorGaetano Giunta <giunta.gaetano@gmail.com>
Tue, 3 Apr 2018 14:02:53 +0000 (15:02 +0100)
committerGitHub <noreply@github.com>
Tue, 3 Apr 2018 14:02:53 +0000 (15:02 +0100)
Update for php 7.2 compatibility issue


Trivial merge