Now that Electron is Proton, this Special Page name makes little sense. It should be renamed to something more future proof.
|mediawiki/extensions/ElectronPdfService||master||+12 -12||Rename Special:ElectronPdf to Special:DownloadAsPdf|
|Resolved||ovasileva||T181079 [GOAL] Provide an expanded reading experience by improving the ways that users can download articles of interest for later consumption|
|Resolved||Jdlrobson||T224985 Rename Special:ElectronPdf to Special:Download as Pdf or Special:Export as Pdf|
It's possible to rename the extension, if someone feels they have the time for it. Create a new repo, import the old one into it, remove "electron" everywhere, deploy it to production, switch, undeploy the old one, rename things in mw.org and Phab... probably a bit more work than worth it though.
(And yes, if all the extension does is fetch a configurable remote URL, don't build assumptions about the service behind that URL into the name.)
Who maintains this extension? I got a +1 from @Krinkle on the patch: https://gerrit.wikimedia.org/r/#/c/mediawiki/extensions/ElectronPdfService/+/527203/
but I don't know how to get this maintained. Is this something Code stewardship reviews can help with?
https://www.mediawiki.org/wiki/Developers/Maintainers lists WMDE Engineering as code stewards. And FYI, https://wikimedia.biterg.io/goto/425b70151ed4eeb9a8e43a86d3453e73 lists which people (and organizations) have contributed to ElectronPdfService code.
It should be renamed to something more future proof.
Is the special page actually able to accommodate multiple backends? If not, it would be inappropriate to "steal" a generic name which could be useful for more generic or different solutions in the future (or by other extensions not meant for Wikimedia wikis).
We already have Special:Book as a multipurpose special page which handles multiple backends, maybe this special page should be merged into that?
I merged the patch by jon, as it is sufficient to solve this problem and it mirrors the textual labels of the links. Simple solutions, no one is merging special pages and extensions any time soon. If you want another extension to use Special:DownloadAsPdf... well don't install both at the same time. :)