Allow ability to auto-number headings when viewing pages (replacing setting removed from MediaWiki v1.39)