Bug 111484

compatibility with older PHP versions