Update auf 1.13.0

1 files changed, 3 insertions, 7 deletions

diff --git a/maintenance/storage/compressOld.php b/maintenance/storage/compressOld.php
index 794e89d1..dda765d7 100644
--- a/maintenance/storage/compressOld.php
+++ b/maintenance/storage/compressOld.php
@@ -1,13 +1,7 @@
 <?php
 /**
- * Compress the text of a wiki
+ * Compress the text of a wiki.
  *
- * @addtogroup Maintenance
- */
-
-/** */
-
-/**
  * Usage:
  *
  * Non-wikimedia
@@ -28,6 +22,8 @@
  *  -h <threshold>      is a minimum number of KB, where <max-factor> cuts in
  *  --extdb <cluster>   store specified revisions in an external cluster (untested)
  *
+ * @file
+ * @ingroup Maintenance ExternalStorage
  */
 
 $optionsWithArgs = array( 't', 'c', 's', 'f', 'h', 'extdb', 'endid', 'e' );