php: manipulating file pointers with fseek and ftell

php developers generally don't put a lot of thought into reading files from disk. we usually just call file or file_get_contents or similar, shovel the whole thing into ram, and then fight with the resulting array or string. if we want to do simple t...