Extension:CustomTOCLength

From mediawiki.org