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>.