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)
commit0b9f5a9ffb5f943dfe96b46dcf53c86573917b5b
tree25c40fadd24a4dbcb797b56cafe9bbcdead882b3
parentf9fab3f48990c93fd9a43dc98bb3613a847b6358
parent6d41e220e69528d5394d93e7fac71e636b03357c
Merge pull request #62 from morloi/php51

Update for php 7.2 compatibility issue