Thread:Support/The Collection extension not listed under “Extensions used by Wikimedia”/reply

You could try and inspect https://git.wikimedia.org/tree/translatewiki.git/HEAD/groups%2FMediaWiki