Change 1006164 had a related patch set uploaded (by Sohom Datta; author: Sohom Datta):

[operations/mediawiki-config@master] Remove the Collection extension from enwikisource

https://gerrit.wikimedia.org/r/1006164

would be fine if it is undeployed from bn.ws too

Given it's broken, why not undeploy it from all Wikisources and then individual Wikisources can opt back in if they want despite the issues?

Please disable and undeploy Extension:Collection from English Wikisource.

(other language Wikisourcen may want to consider requesting the same)

IMHO this combination of sentences implies that you’re requesting this on behalf of English Wikisource, but AFAICT you never discussed it on wiki?

Given it's broken, why not undeploy it from all Wikisources and then individual Wikisources can opt back in if they want despite the issues?

Okay, and who’s going to inform them that this happened?

I’m going to deploy the change anyway, under the assumption that the extension really is as broken as everyone wrote here, but I don’t think this is a stellar example of community communication.

Change 1006164 merged by jenkins-bot:

[operations/mediawiki-config@master] Remove the Collection extension from wikisource

https://gerrit.wikimedia.org/r/1006164

Mentioned in SAL (#wikimedia-operations) [2024-02-26T14:14:11Z] <logmsgbot> lucaswerkmeister-wmde@deploy2002 Started scap: Backport for [[gerrit:1006164|Remove the Collection extension from wikisource (T358437)]]

Mentioned in SAL (#wikimedia-operations) [2024-02-26T14:15:44Z] <logmsgbot> lucaswerkmeister-wmde@deploy2002 lucaswerkmeister-wmde and soda: Backport for [[gerrit:1006164|Remove the Collection extension from wikisource (T358437)]] synced to the testservers (https://wikitech.wikimedia.org/wiki/Mwdebug)

In T358437#9576405, @Lucas_Werkmeister_WMDE wrote:

Okay, and who’s going to inform them that this happened?

I can do it.

Never mind, done by Soda: https://meta.wikimedia.org/w/index.php?title=Tech/News/2024/10&diff=prev&oldid=26294874

Mentioned in SAL (#wikimedia-operations) [2024-02-26T14:26:01Z] <logmsgbot> lucaswerkmeister-wmde@deploy2002 Finished scap: Backport for [[gerrit:1006164|Remove the Collection extension from wikisource (T358437)]] (duration: 11m 49s)

In T358437#9576441, @Jdforrester-WMF wrote:

In T358437#9576405, @Lucas_Werkmeister_WMDE wrote:

Okay, and who’s going to inform them that this happened?

I can do it.

Never mind, done by Soda: https://meta.wikimedia.org/w/index.php?title=Tech/News/2024/10&diff=prev&oldid=26294874

Sounds good, thanks both!

In T358437#9576405, @Lucas_Werkmeister_WMDE wrote:

Please disable and undeploy Extension:Collection from English Wikisource.

(other language Wikisourcen may want to consider requesting the same)

IMHO this combination of sentences implies that you’re requesting this on behalf of English Wikisource, but AFAICT you never discussed it on wiki?

Yes, that's correct.

I am requesting it on behalf of only English Wikisource, and cannot speak for other Wikisourcen.

I am requesting it for enWS without a direct preceding on-wiki discussion because the extension has been known to be functionally broken for years, its normal user interface (links in the sidebar) have been hidden for years, its brokenness has been generally acknowledged in stray related discussions on-wiki on several occasions without anyone expressing disagreement, its functionality has long since been replaced by WS Export, and the community generally seems to be happy with the replacement.

I cannot guarantee that there is not a Wikisource out there that wishes to keep the extension (e.g. because they are unhappy with the replacement), but I feel fairly confident enWS is comfortable with its removal and (without speaking for anyone but myself) I'll be surprised if most Wikisourcen are not likewise ok with it. Especially if they can easily opt-in to have it reenabled.