Merge pull request #27 from gggeek/php53 4.0.0-alpha
authorGaetano Giunta <giunta.gaetano@gmail.com>
Sun, 12 Jul 2015 23:08:24 +0000 (00:08 +0100)
committerGaetano Giunta <giunta.gaetano@gmail.com>
Sun, 12 Jul 2015 23:08:24 +0000 (00:08 +0100)
Move branch php53 into master


Trivial merge