|
@@ 286-290 (lines=5) @@
|
| 283 |
|
$this->status = Status::newGood( 100 ); // continue |
| 284 |
|
} |
| 285 |
|
|
| 286 |
|
if ( isset( $options['timeout'] ) && $options['timeout'] != 'default' ) { |
| 287 |
|
$this->timeout = $options['timeout']; |
| 288 |
|
} else { |
| 289 |
|
$this->timeout = $wgHTTPTimeout; |
| 290 |
|
} |
| 291 |
|
if ( isset( $options['connectTimeout'] ) && $options['connectTimeout'] != 'default' ) { |
| 292 |
|
$this->connectTimeout = $options['connectTimeout']; |
| 293 |
|
} else { |
|
@@ 291-295 (lines=5) @@
|
| 288 |
|
} else { |
| 289 |
|
$this->timeout = $wgHTTPTimeout; |
| 290 |
|
} |
| 291 |
|
if ( isset( $options['connectTimeout'] ) && $options['connectTimeout'] != 'default' ) { |
| 292 |
|
$this->connectTimeout = $options['connectTimeout']; |
| 293 |
|
} else { |
| 294 |
|
$this->connectTimeout = $wgHTTPConnectTimeout; |
| 295 |
|
} |
| 296 |
|
if ( isset( $options['userAgent'] ) ) { |
| 297 |
|
$this->setUserAgent( $options['userAgent'] ); |
| 298 |
|
} |