New global config setting $wgMaxTocLevel: Maximum indent level of toc.
authorJens Frank <jeluf@users.mediawiki.org>
Mon, 19 Jul 2004 05:15:50 +0000 (05:15 +0000)
committerJens Frank <jeluf@users.mediawiki.org>
Mon, 19 Jul 2004 05:15:50 +0000 (05:15 +0000)
commit6b37aa9a045e59830efdc2d77a0384b31ae8a510
tree5c611b28997e77faf3eb96400b92ef2d6f37c3f7
parentf0e88b457c692431949688e1dde0ca28f3c94236
New global config setting $wgMaxTocLevel: Maximum indent level of toc.
includes/DefaultSettings.php
includes/Parser.php