$index = DB_SLAVE;
} else {
$index = null;
- for ( $i = 0; $i < $lb->getServerCount(); ++$i ) {
+ $serverCount = $lb->getServerCount();
+ for ( $i = 0; $i < $serverCount; ++$i ) {
if ( $lb->getServerName( $i ) === $server ) {
$index = $i;
break;
/**
* Print the results, callback for $db->sourceStream()
- * @param $res ResultWrapper The results object
- * @param $db DatabaseBase object
+ * @param ResultWrapper $res The results object
+ * @param DatabaseBase $db object
*/
public function sqlPrintResult( $res, $db ) {
if ( !$res ) {