Fix compatibility with php 7.2
authorgggeek <giunta.gaetano@gmail.com>
Sun, 3 Sep 2017 17:52:10 +0000 (18:52 +0100)
committergggeek <giunta.gaetano@gmail.com>
Sun, 3 Sep 2017 17:52:10 +0000 (18:52 +0100)

No differences found