wikimedia /
mediawiki
| @@ 537-543 (lines=7) @@ | ||
| 534 | ||
| 535 | $grouplist = ''; |
|
| 536 | $count = count( $list ); |
|
| 537 | if ( $count > 0 ) { |
|
| 538 | $grouplist = $this->msg( 'userrights-groupsmember' ) |
|
| 539 | ->numParams( $count ) |
|
| 540 | ->params( $user->getName() ) |
|
| 541 | ->parse(); |
|
| 542 | $grouplist = '<p>' . $grouplist . ' ' . $displayedList . "</p>\n"; |
|
| 543 | } |
|
| 544 | ||
| 545 | $count = count( $autoList ); |
|
| 546 | if ( $count > 0 ) { |
|
| @@ 546-552 (lines=7) @@ | ||
| 543 | } |
|
| 544 | ||
| 545 | $count = count( $autoList ); |
|
| 546 | if ( $count > 0 ) { |
|
| 547 | $autogrouplistintro = $this->msg( 'userrights-groupsmember-auto' ) |
|
| 548 | ->numParams( $count ) |
|
| 549 | ->params( $user->getName() ) |
|
| 550 | ->parse(); |
|
| 551 | $grouplist .= '<p>' . $autogrouplistintro . ' ' . $displayedAutolist . "</p>\n"; |
|
| 552 | } |
|
| 553 | ||
| 554 | $userToolLinks = Linker::userToolLinks( |
|
| 555 | $user->getId(), |
|
