Auto-number headings

mediawiki 1.15.1

There are a few other ways, but this seems easiest. This does not require any code change or MAGICWORD.

In localsettings.php, you can change numberheadings to 1 and be done with it. No code changes.

$wgDefaultUserOptions['numberheadings'] = 1;