Hi everyone!

This week we (the Community Tech team, of which I'm a part) are going to roll out phab:T256392 which will move the functionality of the MediaWiki:Gadget-WSexport.js gadget into the Wikisource extension. 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 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 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.