summaryrefslogtreecommitdiff
path: root/includes/media/DjVuImage.php
diff options
context:
space:
mode:
Diffstat (limited to 'includes/media/DjVuImage.php')
-rw-r--r--includes/media/DjVuImage.php4
1 files changed, 3 insertions, 1 deletions
diff --git a/includes/media/DjVuImage.php b/includes/media/DjVuImage.php
index 80b7408c..6aef562b 100644
--- a/includes/media/DjVuImage.php
+++ b/includes/media/DjVuImage.php
@@ -1,6 +1,6 @@
<?php
/**
- * DjVu image handler
+ * DjVu image handler.
*
* Copyright © 2006 Brion Vibber <brion@pobox.com>
* http://www.mediawiki.org/
@@ -21,6 +21,7 @@
* http://www.gnu.org/copyleft/gpl.html
*
* @file
+ * @ingroup Media
*/
/**
@@ -284,6 +285,7 @@ EOR;
/**
* Hack to temporarily work around djvutoxml bug
+ * @return bool|string
*/
function convertDumpToXML( $dump ) {
if ( strval( $dump ) == '' ) {