In PHP5, get_class() function changed: It's now
returning the original name the class was given and not
just a lower-case version of it. Fix: add strtolower()
in lib/diff/renderer.php.
There are probably many other occurences of get_class()
which behave unexpectedly.
patch against lib/diff/renderer.php in 1.8.4.1