Hi everyone!

This week we (the Community Tech https://meta.wikimedia.org/wiki/Community_Tech team, of which I'm a part) are going to roll out phab:T256392 https://phabricator.wikimedia.org/T256392 which will move the functionality of the MediaWiki:Gadget-WSexport.js https://en.wikisource.org/wiki/MediaWiki:Gadget-WSexport.js gadget into the Wikisource extension https://www.mediawiki.org/wiki/Extension:Wikisource. There are a bunch of Wikisources that have this gadget, and others that provide similar links via common.js or other scripts, and I and the other CommTech engineers will be scooting around cleaning up scripts wherever we can, but if anyone notices anything amiss please let me know!

Any existing translations that I could find have been copied into the extension, but there are still a few languages missing translations. Have a look at translatewiki:Special:MessageGroupStats?group=ext-wikisource https://translatewiki.net/w/i.php?title=Special:MessageGroupStats&language=en-gb&group=ext-wikisource and translate any that you know.

This is a smallish change and is a precursor to the larger change that hopefully will come soon of enabling a 'download' button at the top of works (as some Wikisources already do). See phab:T266262 https://phabricator.wikimedia.org/T266262 for more about that.

Thanks, Sam.

PS The 'Choose other format' link is still annoying in that it doesn't prefill the title. This will be fixed soon, in T256345 https://phabricator.wikimedia.org/T256345.