| Index: trunk/phase3/maintenance/dumpTextPass.php |
| — | — | @@ -95,18 +95,28 @@ |
| 96 | 96 | } |
| 97 | 97 | |
| 98 | 98 | function processFileOpt( $val, $param ) { |
| 99 | | - switch( $val ) { |
| 100 | | - case "file": |
| 101 | | - return $param; |
| 102 | | - case "gzip": |
| 103 | | - return "compress.zlib://$param"; |
| 104 | | - case "bzip2": |
| 105 | | - return "compress.bzip2://$param"; |
| 106 | | - case "7zip": |
| 107 | | - return "mediawiki.compress.7z://$param"; |
| 108 | | - default: |
| 109 | | - return $val; |
| | 99 | + $fileURIs = explode(';',$param); |
| | 100 | + foreach ( $fileURIs as $URI ) { |
| | 101 | + switch( $val ) { |
| | 102 | + case "file": |
| | 103 | + $newURI = $URI; |
| | 104 | + break; |
| | 105 | + case "gzip": |
| | 106 | + $newURI = "compress.zlib://$URI"; |
| | 107 | + break; |
| | 108 | + case "bzip2": |
| | 109 | + $newURI = "compress.bzip2://$URI"; |
| | 110 | + break; |
| | 111 | + case "7zip": |
| | 112 | + $newURI = "mediawiki.compress.7z://$URI"; |
| | 113 | + break; |
| | 114 | + default: |
| | 115 | + $newURI = $URI; |
| | 116 | + } |
| | 117 | + $newFileURIs[] = $newURI; |
| 110 | 118 | } |
| | 119 | + $val = implode( ';', $newFileURIs ); |
| | 120 | + return $val; |
| 111 | 121 | } |
| 112 | 122 | |
| 113 | 123 | /** |