Revision 25b7bc84da962dc69dc1fe1fed086f4c2204ec6e

Committed on 10/12/2018 2:23 am by RenĂ© Hrdina <[email protected]> [GitHub Diff]

restore php5 compatibility