In short I am looking for something like google-diff-match-patch in PHP.
I have had a look at some similar questions at SO, and also at the algorithm provided here, but
https://github.com/gorhill/PHP-FineDiff supports character-wise diff and can render the differences in HTML