From 0aabbc97f5b70972bda88db0e26644860dd612d2 Mon Sep 17 00:00:00 2001
From: Guy Van den Broeck <guyvdb@users.mediawiki.org>
Date: Tue, 5 Aug 2008 20:10:55 +0000
Subject: [PATCH] Load Diff.php only when wgExternalDiffEngine is set

---
 includes/DifferenceEngine.php | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/includes/DifferenceEngine.php b/includes/DifferenceEngine.php
index f91d6b4409..3a75ed1feb 100644
--- a/includes/DifferenceEngine.php
+++ b/includes/DifferenceEngine.php
@@ -2,8 +2,10 @@
 /**
  * @defgroup DifferenceEngine DifferenceEngine
  */
-
-require_once( 'Diff.php' );
+global $wgExternalDiffEngine;
+if($wgExternalDiffEngine == 'wikidiff3'){
+	require_once( 'Diff.php' );
+}
 
 /**
  * Constant to indicate diff cache compatibility.
-- 
2.20.1