Possible fix for ancient versions of PHP