No matches were found for subject:"\[MediaWiki\-commits\] \[Gerrit\] mediawiki\/extensions\[master\]\: Unregister archived extensions"