Index: trunk/extensions/RecordAdmin/RecordAdmin_body.php |
— | — | @@ -35,18 +35,10 @@ |
36 | 36 | if ( $type && $wgRecordAdminUseNamespaces ) { |
37 | 37 | if ( $wpTitle && !ereg( "^$type:.+$", $wpTitle ) ) $wpTitle = "$type:$wpTitle"; |
38 | 38 | } |
39 | | - if ( version_compare( substr( $wgVersion, 0, 4 ), '1.13' ) > 0 ) { |
40 | | - $wgOut->addHTML( $wgLang->pipeList( array( |
41 | | - "<div class='recordadmin-menubar'><a href='" . $title->getLocalURL() . "/$type'>" . wfMsg( 'recordadmin-newsearch', $type ) . "</a>", |
42 | | - "<a href='" . $title->getLocalURL() . "'>" . wfMsg( 'recordadmin-newrecord' ) . "</a></div>\n" |
43 | | - ) ) ); |
44 | | - } |
45 | | - else { |
46 | | - $wgOut->addHTML( |
47 | | - "<div class='recordadmin-menubar'><a href='" . $title->getLocalURL() . "/$type'>" . wfMsg( 'recordadmin-newsearch', $type ) . "</a> | " |
48 | | - . "<a href='" . $title->getLocalURL() . "'>" . wfMsg( 'recordadmin-newrecord' ) . "</a></div>\n" |
49 | | - ); |
50 | | - } |
| 39 | + $wgOut->addHTML( |
| 40 | + "<div class='recordadmin-menubar'><a href='" . $title->getLocalURL() . "/$type'>" . wfMsg( 'recordadmin-newsearch', $type ) . "</a>" |
| 41 | + . "<a href='" . $title->getLocalURL() . "'>" . wfMsg( 'recordadmin-newrecord' ) . "</a></div>\n" |
| 42 | + ); |
51 | 43 | |
52 | 44 | # Get posted form values if any |
53 | 45 | $posted = array(); |