A git clone of dev history of http://www.mediawiki.org/wiki/Extension:Autoincrement