| Index: trunk/extensions/HeaderTabs/HeaderTabs_body.yui.php |
| — | — | @@ -43,8 +43,7 @@ |
| 44 | 44 | |
| 45 | 45 | $tabs = array(); |
| 46 | 46 | |
| 47 | | - $v = explode( '.', $wgVersion ); |
| 48 | | - if ( $v[0] > 1 || ( $v[0] == 1 && $v[1] >= 16 ) ) { |
| | 47 | + if ( version_compare( $wgVersion, '1.16', '>=' ) ) { |
| 49 | 48 | $parts = preg_split( '/(<h1.*?class="mw-headline".*?<\/h1>)/', $aboveandbelow[0], - 1, PREG_SPLIT_DELIM_CAPTURE ); |
| 50 | 49 | array_shift( $parts ); // don't need above part anyway |
| 51 | 50 | |
| — | — | @@ -90,7 +89,6 @@ |
| 91 | 90 | $tabhtml .= '</ul>'; |
| 92 | 91 | |
| 93 | 92 | $tabhtml .= '<div class="yui-content">'; |
| 94 | | - $firsttab = true; |
| 95 | 93 | foreach ( $tabs as $tab ) { |
| 96 | 94 | $tabhtml .= '<div id="' . $tab['tabid'] . '"><p>' . $tab['tabcontent'] . '</p></div>'; |
| 97 | 95 | } |