@@ 106-110 (lines=5) @@ | ||
103 | $this->status = Status::newGood( 100 ); // continue |
|
104 | } |
|
105 | ||
106 | if ( isset( $options['timeout'] ) && $options['timeout'] != 'default' ) { |
|
107 | $this->timeout = $options['timeout']; |
|
108 | } else { |
|
109 | $this->timeout = $wgHTTPTimeout; |
|
110 | } |
|
111 | if ( isset( $options['connectTimeout'] ) && $options['connectTimeout'] != 'default' ) { |
|
112 | $this->connectTimeout = $options['connectTimeout']; |
|
113 | } else { |
|
@@ 111-115 (lines=5) @@ | ||
108 | } else { |
|
109 | $this->timeout = $wgHTTPTimeout; |
|
110 | } |
|
111 | if ( isset( $options['connectTimeout'] ) && $options['connectTimeout'] != 'default' ) { |
|
112 | $this->connectTimeout = $options['connectTimeout']; |
|
113 | } else { |
|
114 | $this->connectTimeout = $wgHTTPConnectTimeout; |
|
115 | } |
|
116 | if ( isset( $options['userAgent'] ) ) { |
|
117 | $this->setUserAgent( $options['userAgent'] ); |
|
118 | } |