Update htmldiff.php