|
@@ 281-287 (lines=7) @@
|
| 278 |
|
$status = $dst->doQuickOperations( $ops, [ 'bypassReadOnly' => 1 ] ); |
| 279 |
|
} |
| 280 |
|
$elapsed_ms = floor( ( microtime( true ) - $t_start ) * 1000 ); |
| 281 |
|
if ( !$status->isOK() ) { |
| 282 |
|
$this->error( print_r( $status->getErrorsArray(), true ) ); |
| 283 |
|
$this->error( "$wikiId: Could not copy file batch.", 1 ); // die |
| 284 |
|
} elseif ( count( $copiedRel ) ) { |
| 285 |
|
$this->output( "\n\tCopied these file(s) [{$elapsed_ms}ms]:\n\t" . |
| 286 |
|
implode( "\n\t", $copiedRel ) . "\n\n" ); |
| 287 |
|
} |
| 288 |
|
} |
| 289 |
|
|
| 290 |
|
/** |
|
@@ 318-324 (lines=7) @@
|
| 315 |
|
$status = $dst->doQuickOperations( $ops, [ 'bypassReadOnly' => 1 ] ); |
| 316 |
|
} |
| 317 |
|
$elapsed_ms = floor( ( microtime( true ) - $t_start ) * 1000 ); |
| 318 |
|
if ( !$status->isOK() ) { |
| 319 |
|
$this->error( print_r( $status->getErrorsArray(), true ) ); |
| 320 |
|
$this->error( "$wikiId: Could not delete file batch.", 1 ); // die |
| 321 |
|
} elseif ( count( $deletedRel ) ) { |
| 322 |
|
$this->output( "\n\tDeleted these file(s) [{$elapsed_ms}ms]:\n\t" . |
| 323 |
|
implode( "\n\t", $deletedRel ) . "\n\n" ); |
| 324 |
|
} |
| 325 |
|
} |
| 326 |
|
|
| 327 |
|
/** |
wikimedia /
mediawiki
