I looked into whether string[] was a standard in PHP doc, can you give me a link which dictates it is?