Professional.Wiki has published a new MediaWiki extension for generating unique sequential numeric IDs. Minimalist, does not require running update.php and installable via Composer. See page on mediawiki.org