Revision 30ea159061e6ff9763b4ce45d0667589f0b8abd1

Committed on 26/01/2016 5:43 am by Stefan Ostermann <sostermann@novomind.com> [GitHub Diff]

Compatibility with older PHP versions.