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

Looks so. Can you also submit a patch? :)