Updating text files using php