wikimedia /
mediawiki
| @@ 557-563 (lines=7) @@ | ||
| 554 | ||
| 555 | $grouplist = ''; |
|
| 556 | $count = count( $list ); |
|
| 557 | if ( $count > 0 ) { |
|
| 558 | $grouplist = $this->msg( 'userrights-groupsmember' ) |
|
| 559 | ->numParams( $count ) |
|
| 560 | ->params( $user->getName() ) |
|
| 561 | ->parse(); |
|
| 562 | $grouplist = '<p>' . $grouplist . ' ' . $displayedList . "</p>\n"; |
|
| 563 | } |
|
| 564 | ||
| 565 | $count = count( $autoList ); |
|
| 566 | if ( $count > 0 ) { |
|
| @@ 566-572 (lines=7) @@ | ||
| 563 | } |
|
| 564 | ||
| 565 | $count = count( $autoList ); |
|
| 566 | if ( $count > 0 ) { |
|
| 567 | $autogrouplistintro = $this->msg( 'userrights-groupsmember-auto' ) |
|
| 568 | ->numParams( $count ) |
|
| 569 | ->params( $user->getName() ) |
|
| 570 | ->parse(); |
|
| 571 | $grouplist .= '<p>' . $autogrouplistintro . ' ' . $displayedAutolist . "</p>\n"; |
|
| 572 | } |
|
| 573 | ||
| 574 | $userToolLinks = Linker::userToolLinks( |
|
| 575 | $user->getId(), |
|
