I was optimistic and guessed it was a String[], since that's what is needed. Found by @cde while working on #35