Index: trunk/extensions/RecordAdmin/RecordAdmin_body.php |
— | — | @@ -40,8 +40,9 @@ |
41 | 41 | if ( $wpTitle && !ereg( "^$type:.+$", $wpTitle ) ) $wpTitle = "$type:$wpTitle"; |
42 | 42 | } |
43 | 43 | $wgOut->addHTML( |
44 | | - "<div class='recordadmin-menubar'><a href='" . $title->getLocalURL() . "/$type'>" . wfMsg( 'recordadmin-newsearch', $type ) . "</a>" |
45 | | - . "<a href='" . $title->getLocalURL() . "'>" . wfMsg( 'recordadmin-newrecord' ) . "</a></div>\n" |
| 44 | + '<div class="recordadmin-menubar"><a href="' . $title->getLocalURL() . '/$type">' . wfMsg( 'recordadmin-newsearch', $type ) . '</a>' |
| 45 | + . wfMsg( 'pipe-separator' ) |
| 46 | + . '<a href="' . $title->getLocalURL() . '">' . wfMsg( 'recordadmin-newrecord' ) . '</a></div>'."\n" |
46 | 47 | ); |
47 | 48 | |
48 | 49 | # Get posted form values if any |