You archived this extension on MediaWiki.org without doing any of the other steps of archiving an extension hosted on Gerrit (emptying the repo, removing the tests from integration/config, etc.)
You archived this extension on MediaWiki.org without doing any of the other steps of archiving an extension hosted on Gerrit (emptying the repo, removing the tests from integration/config, etc.)