This extension has been out of date with MediaWiki for years. A ticket[1] was opened a while ago to archive it, and someone archived the extension's page[2] on mediawiki.org. Is there anyone interested in maintaining it, or we can officially call it dead?

---- [1] https://phabricator.wikimedia.org/T185227 [2] https://www.mediawiki.org/wiki/Extension:Configure