diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2009-06-10 13:00:47 +0200 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2009-06-10 13:00:47 +0200 |
| commit | 72e90545454c0e014318fa3c81658e035aac58c1 (patch) | |
| tree | 9212e3f46868989c4d57ae9a5c8a1a80e4dc0702 /maintenance/dumpBackup.php | |
| parent | 565a0ccc371ec1a2a0e9b39487cbac18e6f60e25 (diff) | |
applying patch to version 1.15.0
Diffstat (limited to 'maintenance/dumpBackup.php')
| -rw-r--r-- | maintenance/dumpBackup.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/maintenance/dumpBackup.php b/maintenance/dumpBackup.php index de7ce655..0e28734c 100644 --- 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 { |