What makes it even more confusing is that DifferenceEngine.php also exists.
Version: 1.17.x Severity: normal
Done in r76252.