a rather lenghty solution for reading a file into an array

download options for file handling / line by line

you can download the source as PHP file,

open the file as plain text in a new window or

get the code in a textarea to copy it.