[MediaWiki-l] Make TOC numbering a user preference