Index: trunk/extensions/CategoryTree/modules/ext.categoryTree.js |
— | — | @@ -7,9 +7,6 @@ |
8 | 8 | * @author Daniel Kinzler, brightbyte.de |
9 | 9 | * @copyright © 2006 Daniel Kinzler |
10 | 10 | * @licence GNU General Public Licence 2.0 or later |
11 | | - * |
12 | | - * NOTE: if you change this, increment $wgCategoryTreeVersion |
13 | | - * in CategoryTree.php to avoid users getting stale copies from cache. |
14 | 11 | */ |
15 | 12 | |
16 | 13 | (function( $, mw ) { |
— | — | @@ -149,4 +146,4 @@ |
150 | 147 | categoryTree.showToggles(); |
151 | 148 | } ); |
152 | 149 | |
153 | | -} )( jQuery, mediaWiki ); |
\ No newline at end of file |
| 150 | +} )( jQuery, mediaWiki ); |