Manual:DiffFormatter.php