Page MenuHomePhabricator
Create Task
Maniphest T202220

Archive the PDF Export extension
Closed, ResolvedPublicRequest
Actions

Description

Reason
This extension has already been archived on MediaWiki.org, as identified in T190671: Identify archived extensions on mediawiki.org but not on Gerrit (and viceversa).
The extension page (before archiving) lists a bunch of MediaWiki versions the extension supposedly works with, but that doesn't instill confidence. The latest mentioned version is 1.27, which is mentioned not to work with the supported back-ends.
It appears to have been worked on last in rEPEX928eca2e3119: Fix some broken functionality on the special page with HTMLDoc. Update DomPdf…, 6 years ago.

To-do list

Details

SubjectRepoBranchLines +/-
Archive the PdfExport extensiontranslatewikimaster+0 -5
Archive the PdfExport extensionintegration/configmaster+1 -1
Archive the PdfExport extensionmediawiki/extensionsmaster+0 -5
Archive the PdfExport extensionmediawiki/extensions/PdfExportmaster+2 -3 K
Customize query in gerrit

Revisions and Commits

Restricted Differential Revision

Related Objects

Event Timeline

Mainframe98 created this task.Aug 19 2018, 9:38 AM
MarcoAurelio claimed this task.Aug 19 2018, 9:43 AM
MarcoAurelio triaged this task as Low priority.
Restricted Application added a project: User-MarcoAurelio. · View Herald TranscriptAug 19 2018, 9:43 AM
MarcoAurelio moved this task from unsorted/backlog to working on on the User-MarcoAurelio board.Aug 19 2018, 9:48 AM
Liuxinyu970226 edited projects, added MediaWiki-extensions-Other; removed MediaWiki-extensions-General.Aug 19 2018, 10:09 AM
MarcoAurelio added a comment.Aug 19 2018, 10:03 PM

Given the issues mentioned in the task, I'm proceeding to archive the extension now.

gerritbot subscribed.Aug 19 2018, 10:07 PM

Change 453880 had a related patch set uploaded (by MarcoAurelio; owner: MarcoAurelio):
[mediawiki/extensions/PdfExport@master] Archive the PdfExport extension

https://gerrit.wikimedia.org/r/453880

gerritbot added a project: Patch-For-Review.Aug 19 2018, 10:07 PM
gerritbot added a comment.Aug 19 2018, 10:10 PM

Change 453881 had a related patch set uploaded (by MarcoAurelio; owner: MarcoAurelio):
[translatewiki@master] Archive the PdfExport extension

https://gerrit.wikimedia.org/r/453881

gerritbot added a comment.Aug 19 2018, 10:13 PM

Change 453880 merged by MarcoAurelio:
[mediawiki/extensions/PdfExport@master] Archive the PdfExport extension

https://gerrit.wikimedia.org/r/453880

MarcoAurelio updated the task description. (Show Details)Aug 19 2018, 10:14 PM
gerritbot added a comment.Aug 19 2018, 10:15 PM

Change 453883 had a related patch set uploaded (by MarcoAurelio; owner: MarcoAurelio):
[mediawiki/extensions@master] Archive the PdfExport extension

https://gerrit.wikimedia.org/r/453883

gerritbot added a comment.Aug 19 2018, 10:16 PM

Change 453883 merged by MarcoAurelio:
[mediawiki/extensions@master] Archive the PdfExport extension

https://gerrit.wikimedia.org/r/453883

MarcoAurelio updated the task description. (Show Details)Aug 19 2018, 10:16 PM
MarcoAurelio updated the task description. (Show Details)
gerritbot added a comment.Aug 19 2018, 10:20 PM

Change 453884 had a related patch set uploaded (by MarcoAurelio; owner: MarcoAurelio):
[integration/config@master] Archive the PdfExport extension

https://gerrit.wikimedia.org/r/453884

MarcoAurelio moved this task from Untriaged to Archive extensions on the Projects-Cleanup board.Aug 19 2018, 10:23 PM
MarcoAurelio moved this task from Backlog to delete on the Wikimedia-GitHub board.
MarcoAurelio moved this task from Backlog to Cleanup / Archival on the Diffusion-Repository-Administrators board.
MarcoAurelio moved this task from working on to ready/patched/SWAT on the User-MarcoAurelio board.
MarcoAurelio added a revision: Restricted Differential Revision.Aug 19 2018, 10:37 PM
gerritbot added a comment.Aug 20 2018, 1:01 AM

Change 453884 merged by jenkins-bot:
[integration/config@master] Archive the PdfExport extension

https://gerrit.wikimedia.org/r/453884

MarcoAurelio updated the task description. (Show Details)Aug 20 2018, 5:30 AM
gerritbot added a comment.Aug 20 2018, 6:23 AM

Change 453881 merged by jenkins-bot:
[translatewiki@master] Archive the PdfExport extension

https://gerrit.wikimedia.org/r/453881

MarcoAurelio updated the task description. (Show Details)Aug 20 2018, 3:24 PM
MarcoAurelio removed a project: Patch-For-Review.
MarcoAurelio added a subscriber: hashar.

GitHub mirror deletion is the last pending step to do. @hashar Veuillez-vous, svp ? Merci bien.

Stashbot subscribed.Aug 22 2018, 8:08 AM

Mentioned in SAL (#wikimedia-releng) [2018-08-22T08:08:27Z] <hashar> github: deleting https://github.com/wikimedia/mediawiki-extensions-PdfExport T202220

hashar closed this task as Resolved.Aug 22 2018, 8:08 AM
hashar updated the task description. (Show Details)
Mainframe98 mentioned this in T190671: Identify archived extensions on mediawiki.org but not on Gerrit (and viceversa).Aug 22 2018, 8:11 AM
MarcoAurelio moved this task from ready/patched/SWAT to cabinet on the User-MarcoAurelio board.Aug 22 2018, 11:19 AM
Content licensed under Creative Commons Attribution-ShareAlike (CC BY-SA) 4.0 unless otherwise noted; code licensed under GNU General Public License (GPL) 2.0 or later and other open source licenses. By using this site, you agree to the Terms of Use, Privacy Policy, and Code of Conduct. · Wikimedia Foundation · Privacy Policy · Code of Conduct · Terms of Use · Disclaimer · CC-BY-SA · GPL