diff options
Diffstat (limited to 'maintenance/storage/dumpRev.php')
-rw-r--r-- | maintenance/storage/dumpRev.php | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/maintenance/storage/dumpRev.php b/maintenance/storage/dumpRev.php index 4c31b4e1..720eb958 100644 --- 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' ); |