wikimedia /
mediawiki
| @@ 1506-1509 (lines=4) @@ | ||
| 1503 | // Fetch the user ID from the master, so that we don't try to create the user |
|
| 1504 | // when they already exist, due to replication lag |
|
| 1505 | // @codeCoverageIgnoreStart |
|
| 1506 | if ( !$localId && wfGetLB()->getReaderIndex() != 0 ) { |
|
| 1507 | $localId = User::idFromName( $username, User::READ_LATEST ); |
|
| 1508 | $flags = User::READ_LATEST; |
|
| 1509 | } |
|
| 1510 | // @codeCoverageIgnoreEnd |
|
| 1511 | ||
| 1512 | if ( $localId ) { |
|
| @@ 403-406 (lines=4) @@ | ||
| 400 | // Fetch the user ID from the master, so that we don't try to create the user |
|
| 401 | // when they already exist, due to replication lag |
|
| 402 | // @codeCoverageIgnoreStart |
|
| 403 | if ( !$localId && wfGetLB()->getReaderIndex() != 0 ) { |
|
| 404 | $localId = User::idFromName( $user->getName(), User::READ_LATEST ); |
|
| 405 | $flags = User::READ_LATEST; |
|
| 406 | } |
|
| 407 | // @codeCoverageIgnoreEnd |
|
| 408 | ||
| 409 | if ( $localId ) { |
|
