diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2007-01-24 09:26:41 +0000 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2007-01-24 09:26:41 +0000 |
commit | b6c19d49965caece085e7ee0da9c619b14f19655 (patch) | |
tree | 60c57c2a5035d5078fcc417e969f05cc8589f8ab /includes/DjVuImage.php | |
parent | 3cbab0f9c75400197f64677945b7d8c45de85d06 (diff) |
Aktualisierung auf MediaWiki 1.9.1
Diffstat (limited to 'includes/DjVuImage.php')
-rw-r--r-- | includes/DjVuImage.php | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/includes/DjVuImage.php b/includes/DjVuImage.php index f7297dc2..3b8a68ba 100644 --- a/includes/DjVuImage.php +++ b/includes/DjVuImage.php @@ -216,7 +216,8 @@ class DjVuImage { function retrieveMetaData() { global $wgDjvuToXML; if ( isset( $wgDjvuToXML ) ) { - $cmd = $wgDjvuToXML . ' --without-anno --without-text ' . $this->mFilename; + $cmd = $wgDjvuToXML . ' --without-anno --without-text ' . + wfEscapeShellArg( $this->mFilename ); $xml = wfShellExec( $cmd ); } else { $xml = null; |