| Index: trunk/extensions/RecordAdmin/RecordAdmin_body.php |
| — | — | @@ -34,8 +34,7 @@ |
| 35 | 35 | if ( $type && $wgRecordAdminUseNamespaces ) { |
| 36 | 36 | if ( $wpTitle && !ereg( "^$type:.+$", $wpTitle ) ) $wpTitle = "$type:$wpTitle"; |
| 37 | 37 | } |
| 38 | | - |
| 39 | | - if (version_compare($wgVersion, '1.14.0') >= 0) { |
| | 38 | + if (version_compare(substr($wgVersion, 0, 4), '1.13') > 0) { |
| 40 | 39 | $wgOut->addHTML( $wgLang->pipeList( array( |
| 41 | 40 | "<div class='center'><a href='" . $title->getLocalURL() . "/$type'>" . wfMsg( 'recordadmin-newsearch', $type ) . "</a>", |
| 42 | 41 | "<a href='" . $title->getLocalURL() . "'>" . wfMsg( 'recordadmin-newrecord' ) . "</a></div><br>\n" |