php convert_to_array <filename>