wikimedia /
mediawiki
| @@ 187-189 (lines=3) @@ | ||
| 184 | foreach ( $lags as $i => $lag ) { |
|
| 185 | if ( $i != 0 ) { |
|
| 186 | $maxServerLag = $maxLag; |
|
| 187 | if ( isset( $this->mServers[$i]['max lag'] ) ) { |
|
| 188 | $maxServerLag = min( $maxServerLag, $this->mServers[$i]['max lag'] ); |
|
| 189 | } |
|
| 190 | ||
| 191 | $host = $this->getServerName( $i ); |
|
| 192 | if ( $lag === false ) { |
|
| @@ 942-944 (lines=3) @@ | ||
| 939 | public function getServerName( $i ) { |
|
| 940 | if ( isset( $this->mServers[$i]['hostName'] ) ) { |
|
| 941 | $name = $this->mServers[$i]['hostName']; |
|
| 942 | } elseif ( isset( $this->mServers[$i]['host'] ) ) { |
|
| 943 | $name = $this->mServers[$i]['host']; |
|
| 944 | } else { |
|
| 945 | $name = ''; |
|
| 946 | } |
|
| 947 | ||
