* to ensure that client-side caches don't keep obsolete copies of global
* styles.
*/
-$wgStyleVersion = '212';
+$wgStyleVersion = '213';
# Server-side caching:
*/
$wgDiff = '/usr/bin/diff';
+/**
+ * Path to the GNU sed utility. Required by $wgDjvuTxt.
+ */
+#$wgSed = '/bin/sed';
+$wgSed = null;
+
/**
* We can also compress text stored in the 'text' table. If this is set on, new
* revisions will be compressed on page save if zlib support is available. Any
'watchdeletion' => 0,
'noconvertlink' => 0,
'gender' => 'unknown',
+ 'ccmeonemails' => 0,
);
/** Whether or not to allow and use real name fields. Defaults to true. */
# $wgDjvuRenderer = 'ddjvu';
$wgDjvuRenderer = null;
+/**
+ * Path of the djvutxt DJVU text extraction utility
+ * Enable this and $wgSed, $wgDjvuDump to enable text layer extraction from djvu files
+ */
+# $wgDjvuTxt = 'djvutxt';
+$wgDjvuTxt = null;
+
/**
* Path of the djvutoxml executable
* This works like djvudump except much, much slower as of version 3.5.