MediaWiki:Gadget-autonum

Autonumbers the headers of a page. It replaces the "Auto-number headings" function that previously existed in MediaWiki.