[PHP-DEV] Dev question / bugfix for 8449

[Robert R. Evans]

I’ve fixed a bug in PHP (#8449) and would like to submit it, but I haven’t got a clue what diff command to use.  Can someone send me some info/links..?  I’ve got loads of information on *reporting* bugs but very little on *fixing* them.   Thanks