add php function to read a file