GitHub repository: staspika/mediawiki-numberedheadings
Primary language: PHP
Description: MediaWiki extension for toggling headings autonumbering