Now that Electron is Proton, this Special Page name makes little sense. It should be renamed to something more future proof.
Description
Description
Details
Details
| Subject | Repo | Branch | Lines +/- | |
|---|---|---|---|---|
| Rename Special:ElectronPdf to Special:DownloadAsPdf | mediawiki/extensions/ElectronPdfService | master | +12 -12 |
| Status | Subtype | Assigned | Task | ||
|---|---|---|---|---|---|
| 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 |
Event Timeline
Comment Actions
Makes sense to me. Olga is this something we should do or RI? Seems relatively trivial.
Comment Actions
Special:DownloadAsPdf is probably more in line with current naming conventions, I don't think we have any special page with space in its name.
Comment Actions
Change 527203 had a related patch set uploaded (by Jdlrobson; owner: Jdlrobson):
[mediawiki/extensions/ElectronPdfService@master] Rename Special:ElectronPdf to Special:DownloadAsPdf
Comment Actions
Any chance of a review Gergo on https://gerrit.wikimedia.org/r/527203 ?
It's a shame the extension is called ElectronPdfService. There should be a rule against mentioning any kind of technology in an extension name..
Comment Actions
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.)
Comment Actions
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?
Comment Actions
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.
Comment Actions
Change 527203 abandoned by Jdlrobson:
Rename Special:ElectronPdf to Special:DownloadAsPdf
Comment Actions
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?
Comment Actions
I don't see why this task was marked as stalled. If code stewardship is unclear then there should be a dedicated task under Code-Stewardship-Reviews
Comment Actions
Change 527203 restored by TheDJ:
[mediawiki/extensions/ElectronPdfService@master] Rename Special:ElectronPdf to Special:DownloadAsPdf
Comment Actions
Change 527203 merged by jenkins-bot:
[mediawiki/extensions/ElectronPdfService@master] Rename Special:ElectronPdf to Special:DownloadAsPdf
Comment Actions
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. :)