MediaWiki 1.15.0

[autoinstallsdev/mediawiki.git] / maintenance / dumpBackup.php

diff --git a/maintenance/dumpBackup.php b/maintenance/dumpBackup.php
index de7ce65529e29b17e2bb291387df08dd30f8bb80..0e28734cbad10f22a16c85c76314b9ee9aea9176 100644 (file)
--- a/maintenance/dumpBackup.php
+++ b/maintenance/dumpBackup.php
@@ -63,6 +63,8 @@ if( isset( $options['full'] ) ) {
        $dumper->dump( WikiExporter::FULL, $textMode );
 } elseif( isset( $options['current'] ) ) {
        $dumper->dump( WikiExporter::CURRENT, $textMode );
+} elseif( isset( $options['stable'] ) ) {
+       $dumper->dump( WikiExporter::STABLE, $textMode );
 } elseif( isset( $options['logs'] ) ) {
        $dumper->dump( WikiExporter::LOGS );
 } else {