Click on PHP Data Types to open the resource.