This extension has not been maintained for some time, and no longer supports recent releases of MediaWiki.
The following other choices are available:

• NumberHeadings