if ( isset( $wgDjvuDump ) ) {
# djvudump is faster as of version 3.5
- # http://sourceforge.net/tracker/index.php?func=detail&aid=1704049&group_id=32953&atid=406583
+ # https://sourceforge.net/p/djvu/bugs/71/
$cmd = wfEscapeShellArg( $wgDjvuDump ) . ' ' . wfEscapeShellArg( $this->mFilename );
$dump = wfShellExec( $cmd );
$xml = $this->convertDumpToXML( $dump );