Add references to diff.php