Load Diff.php only when wgExternalDiffEngine is set
authorGuy Van den Broeck <guyvdb@users.mediawiki.org>
Tue, 5 Aug 2008 20:10:55 +0000 (20:10 +0000)
committerGuy Van den Broeck <guyvdb@users.mediawiki.org>
Tue, 5 Aug 2008 20:10:55 +0000 (20:10 +0000)
commit0aabbc97f5b70972bda88db0e26644860dd612d2
tree4e97126d5f6a53d36d924b694aff3ef3fd3ceb07
parente3f12006c84786394aa6358d69daad942b5102a3
Load Diff.php only when wgExternalDiffEngine is set
includes/DifferenceEngine.php