| Index: trunk/extensions/HeaderTabs/HeaderTabs_body.jq.php |
| — | — | @@ -106,7 +106,7 @@ |
| 107 | 107 | tabName = tabName.replace( /%/g, "_" ); |
| 108 | 108 | tabName = tabName.replace( /\./g, "_" ); |
| 109 | 109 | $("#headertabs").tabs('select', tabName); |
| 110 | | - return false; //$htUseHistory; |
| | 110 | + return false; |
| 111 | 111 | } ); |
| 112 | 112 | |
| 113 | 113 | }); |