https://bugzilla.wikimedia.org/show_bug.cgi?id=46864
Tomasz W. Kozlowski <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |[email protected] --- Comment #7 from Tomasz W. Kozlowski <[email protected]> --- This is defined in CommonSettings.php… if ( $wmgUseTocTree ) { require_once( "$IP/extensions/TocTree/TocTree.php" ); $wgDefaultUserOptions['toc-floated'] = true; } …as well as in InitialiseSettings.php: 'wmgUseTocTree' => array( 'default' => false, 'wikivoyage' => true, ), However, I am not exactly sure what is the purpose of this extension. Of course, it provides the wiki with the tree option in their TOC, but do we actually need it at all? -- You are receiving this mail because: You are the assignee for the bug. You are on the CC list for the bug. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
