Merge "Document diff/DifferenceEngine.php function"