|
@@ 240-244 (lines=5) @@
|
| 237 |
|
$this->status = Status::newGood( 100 ); // continue |
| 238 |
|
} |
| 239 |
|
|
| 240 |
|
if ( isset( $options['timeout'] ) && $options['timeout'] != 'default' ) { |
| 241 |
|
$this->timeout = $options['timeout']; |
| 242 |
|
} else { |
| 243 |
|
$this->timeout = $wgHTTPTimeout; |
| 244 |
|
} |
| 245 |
|
if ( isset( $options['connectTimeout'] ) && $options['connectTimeout'] != 'default' ) { |
| 246 |
|
$this->connectTimeout = $options['connectTimeout']; |
| 247 |
|
} else { |
|
@@ 245-249 (lines=5) @@
|
| 242 |
|
} else { |
| 243 |
|
$this->timeout = $wgHTTPTimeout; |
| 244 |
|
} |
| 245 |
|
if ( isset( $options['connectTimeout'] ) && $options['connectTimeout'] != 'default' ) { |
| 246 |
|
$this->connectTimeout = $options['connectTimeout']; |
| 247 |
|
} else { |
| 248 |
|
$this->connectTimeout = $wgHTTPConnectTimeout; |
| 249 |
|
} |
| 250 |
|
if ( isset( $options['userAgent'] ) ) { |
| 251 |
|
$this->setUserAgent( $options['userAgent'] ); |
| 252 |
|
} |