I thought that we decided to only support PHP >= 5.3.7 and just throw an exception for earlier PHP version.