| Index: trunk/phase3/includes/DefaultSettings.php |
| — | — | @@ -1898,9 +1898,10 @@ |
| 1899 | 1899 | $wgDiff = '/usr/bin/diff'; |
| 1900 | 1900 | |
| 1901 | 1901 | /** |
| 1902 | | - * Path to the GNU sed utility. |
| | 1902 | + * Path to the GNU sed utility. Required by $wgDjvuTxt. |
| 1903 | 1903 | */ |
| 1904 | | -$wgSed = '/bin/sed'; |
| | 1904 | +#$wgSed = '/bin/sed'; |
| | 1905 | +$wgSed = null; |
| 1905 | 1906 | |
| 1906 | 1907 | /** |
| 1907 | 1908 | * We can also compress text stored in the 'text' table. If this is set on, new |
| — | — | @@ -3540,7 +3541,7 @@ |
| 3541 | 3542 | |
| 3542 | 3543 | /** |
| 3543 | 3544 | * Path of the djvutxt DJVU text extraction utility |
| 3544 | | - * Enable this and $wgDjvuDump to enable text layer extraction from djvu files |
| | 3545 | + * Enable this and $wgSed, $wgDjvuDump to enable text layer extraction from djvu files |
| 3545 | 3546 | */ |
| 3546 | 3547 | # $wgDjvuTxt = 'djvutxt'; |
| 3547 | 3548 | $wgDjvuTxt = null; |