As a Wikisource user, I want the WSExport gadget to be migrated to the Wikisource extension, so that I can access links to download books (via WSExport) on all wikis with the extension enabled.
**Background:** In the process of consulting with Wikisource users on the [[ https://meta.wikimedia.org/wiki/Talk:Community_Tech/Ebook_Export_Improvement#Have_we_covered_the_main_methods_to_export_ebooks? | project talk page ]], we have learned that some users don't have the ability to click download links via the side panel and other places. This is the case on Czech Wikisource, for example. This is because they do not have the WSExport gadget enabled on their wiki. Rather than enabling it on each wiki, it would be more efficient to migrate the gadget over to the Wikisource extension. That way, all wikis that have the extension enabled can have access to the gadget. One important note about this ticket is that it overlaps with another wish ([[ https://meta.wikimedia.org/wiki/Community_Wishlist_Survey_2020/Wikisource/Migrate_Wikisource_specific_edit_tools_from_gadgets_to_Wikisource_extension | Migrate Wikisource specific edit tools from gadgets to Wikisource extension ]]). However, it may make sense to include this as part of the ebook export improvement project, as many users cannot easily download books in their wikis at this time.
* Migrate the [[ https://en.wikisource.org/wiki/MediaWiki:Gadget-WSexport.js | WSExport gadget ]] to the [[ https://www.mediawiki.org/wiki/Extension:Wikisource#:~:text=Wikisource%20is%20an%20extension%20to,It%20depends%20on%20WikibaseClient. | Wikisource extension ]]