Thread:Extension talk:Autoincrement/ Autoincrement extension is not available for download

Hi, the Autoincrement extension does not seem to be available via the drop down menu of the Download MediaWiki extension page (http://www.mediawiki.org/wiki/Special:ExtensionDistributor/Autoincrement) as described under the Installation section of this page.

Would anybody know if there is another place where I can find the download for this extension please?

I've googled it extensively, but could not find anything.

Many thanks Pan