Revision eb01dbd2ccea5ecfc15d2558f0b7227c5faaec41

Committed on 21/12/2013 2:56 am by Kore Nordmann <mail@kore-nordmann.de> [GitHub Diff]

Also build under PHP 5.5