| Index: trunk/phase3/includes/LogEventsList.php |
| — | — | @@ -93,7 +93,7 @@ |
| 94 | 94 | } |
| 95 | 95 | |
| 96 | 96 | private function getFilterLinks( $logType, $filter ) { |
| 97 | | - global $wgTitle; |
| | 97 | + global $wgTitle, $wgLang; |
| 98 | 98 | // show/hide links |
| 99 | 99 | $messages = array( wfMsgHtml( 'show' ), wfMsgHtml( 'hide' ) ); |
| 100 | 100 | // Option value -> message mapping |
| — | — | @@ -106,7 +106,7 @@ |
| 107 | 107 | $links[$type] = wfMsgHtml( "log-show-hide-{$type}", $link ); |
| 108 | 108 | } |
| 109 | 109 | // Build links |
| 110 | | - return implode( ' | ', $links ); |
| | 110 | + return $wgLang->pipeList( $links ); |
| 111 | 111 | } |
| 112 | 112 | |
| 113 | 113 | private function getDefaultQuery() { |