wikimedia /
mediawiki
| @@ 199-201 (lines=3) @@ | ||
| 196 | foreach ( $lags as $i => $lag ) { |
|
| 197 | if ( $i != 0 ) { |
|
| 198 | $maxServerLag = $maxLag; |
|
| 199 | if ( isset( $this->mServers[$i]['max lag'] ) ) { |
|
| 200 | $maxServerLag = min( $maxServerLag, $this->mServers[$i]['max lag'] ); |
|
| 201 | } |
|
| 202 | ||
| 203 | $host = $this->getServerName( $i ); |
|
| 204 | if ( $lag === false ) { |
|
| @@ 958-960 (lines=3) @@ | ||
| 955 | public function getServerName( $i ) { |
|
| 956 | if ( isset( $this->mServers[$i]['hostName'] ) ) { |
|
| 957 | $name = $this->mServers[$i]['hostName']; |
|
| 958 | } elseif ( isset( $this->mServers[$i]['host'] ) ) { |
|
| 959 | $name = $this->mServers[$i]['host']; |
|
| 960 | } else { |
|
| 961 | $name = ''; |
|
| 962 | } |
|
| 963 | ||
