I'm new to PHP (and programming generally) and I'm working on a project that should download a large (around 85mb) XML file from a website, search it for a string, and then edit the text at the string position. It seems like there are a lot of ways to do the searching part using PHP and other languages. Could someone recommend the most efficient or some further reading? - Thanks.
EDIT: I should have mentioned that many of the strings I'll be searching for will be non-XML/plain text. So I can't rely on any XML formatting. Will those XML tools still be useful for that? Or should I use something else? Would something as simple as strpos() work? (but could I use an 85mb file as the haystack?)