Load Diff.php only when wgExternalDiffEngine is set

diff --git a/includes/DifferenceEngine.php b/includes/DifferenceEngine.php
index f91d6b4..3a75ed1 100644 (file)
--- 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.