From 93f82b96bb5e1fe17ec7096a7c20c37f7f1ce01a Mon Sep 17 00:00:00 2001 From: Reedy Date: Wed, 18 Jun 2014 20:48:38 +0100 Subject: [PATCH] Fix $wgDjvuPostProcessor comment about default being pnmtopng Change-Id: I643332fcfb2dfae40dc61e71f2e151d6510ebbcd --- includes/DefaultSettings.php | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index 5b427509d5..31ce08079c 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -1281,7 +1281,7 @@ $wgDjvuTxt = null; * Path of the djvutoxml executable * This works like djvudump except much, much slower as of version 3.5. * - * For now we recommend you use djvudump instead. The djvuxml output is + * For now we recommend you use djvudump instead. The djvuxml output is * probably more stable, so we'll switch back to it as soon as they fix * the efficiency problem. * http://sourceforge.net/tracker/index.php?func=detail&aid=1704049&group_id=32953&atid=406583 @@ -1295,7 +1295,7 @@ $wgDjvuToXML = null; /** * Shell command for the DJVU post processor - * Default: pnmtopng, since ddjvu generates ppm output + * Default: pnmtojpeg, since ddjvu generates ppm output * Set this to false to output the ppm file directly. */ $wgDjvuPostProcessor = 'pnmtojpeg'; -- 2.20.1