wikimedia /
mediawiki
| @@ 937-939 (lines=3) @@ | ||
| 934 | public function getServerName( $i ) { |
|
| 935 | if ( isset( $this->mServers[$i]['hostName'] ) ) { |
|
| 936 | $name = $this->mServers[$i]['hostName']; |
|
| 937 | } elseif ( isset( $this->mServers[$i]['host'] ) ) { |
|
| 938 | $name = $this->mServers[$i]['host']; |
|
| 939 | } else { |
|
| 940 | $name = ''; |
|
| 941 | } |
|
| 942 | ||
| @@ 182-184 (lines=3) @@ | ||
| 179 | foreach ( $lags as $i => $lag ) { |
|
| 180 | if ( $i != 0 ) { |
|
| 181 | $maxServerLag = $maxLag; |
|
| 182 | if ( isset( $this->mServers[$i]['max lag'] ) ) { |
|
| 183 | $maxServerLag = min( $maxServerLag, $this->mServers[$i]['max lag'] ); |
|
| 184 | } |
|
| 185 | ||
| 186 | $host = $this->getServerName( $i ); |
|
| 187 | if ( $lag === false ) { |
|
