we need to investigate what exactly and how to convert Wikibase extensions (e.g. also PropertySuggester) to use the new extension registration mechanism, and break this down into more specific tasks.
Related Gerrit Patches:
|mediawiki/extensions/WikimediaBadges : master||Convert WikimediaBadges to extension registration|
As this refers to the build (which is about to die) I will close it.
I guess the parent ticket would now be T140852: Load all Wikimedia-deployed extensions and skins via extension registration