WARNING: HUGE COMMIT

[lhc/web/wiklou.git] / maintenance / storage / dumpRev.php

diff --git a/maintenance/storage/dumpRev.php b/maintenance/storage/dumpRev.php
index 4c31b4e..720eb95 100644 (file)
--- a/maintenance/storage/dumpRev.php
+++ b/maintenance/storage/dumpRev.php
@@ -1,4 +1,8 @@
 <?php
+/**
+ * @file
+ * @ingroup Maintenance ExternalStorage
+ */
 
 require_once( dirname(__FILE__) . '/../commandLine.inc' );