From 592fd520380eac5952d3192c73a61f0456951f9c Mon Sep 17 00:00:00 2001
From: ThomasV <thomasv@users.mediawiki.org>
Date: Fri, 24 Apr 2009 08:58:05 +0000
Subject: [PATCH] follow-up to r49669

---
 includes/DefaultSettings.php | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 2b29744f6f..e971aa7340 100644
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -1898,9 +1898,10 @@ $wgDiff3 = '/usr/bin/diff3';
 $wgDiff = '/usr/bin/diff';
 
 /**
- * Path to the GNU sed utility.
+ * Path to the GNU sed utility. Required by $wgDjvuTxt.
  */
-$wgSed = '/bin/sed';
+#$wgSed = '/bin/sed';
+$wgSed = null;
 
 /**
  * We can also compress text stored in the 'text' table. If this is set on, new
@@ -3540,7 +3541,7 @@ $wgDjvuRenderer = null;
 
 /**
  * Path of the djvutxt DJVU text extraction utility
- * Enable this and $wgDjvuDump to enable text layer extraction from djvu files
+ * Enable this and $wgSed, $wgDjvuDump to enable text layer extraction from djvu files
  */
 # $wgDjvuTxt = 'djvutxt';
 $wgDjvuTxt = null;
-- 
2.20.1