Snippets/Auto-number headings

Description
Replace the "Auto-number headings" feature that previously existed in MediaWiki core (T284921).

This can be registered as a gadget on any wiki by copying the below code to  and   respectively, and adding the following to "MediaWiki:Gadgets-definition":


 * autonum[ResourceLoader]|autonum.css|autonum.js