Archive the PDF Export extension
Closed, ResolvedPublicRequest

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

MarcoAurelio triaged this task as Low priority.
Restricted Application added a project: User-MarcoAurelio. · View Herald TranscriptAug 19 2018, 9:43 AM

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

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

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

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

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

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

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

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)

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 Backlog to delete on the GitHub-Mirrors board.
MarcoAurelio moved this task from Backlog to Cleanup / Archival on the Repository-Admins board.
MarcoAurelio moved this task from working on to ready on the User-MarcoAurelio board.

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

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

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

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

MarcoAurelio added a subscriber: hashar.

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

hashar closed this task as Resolved.Aug 22 2018, 8:08 AM
hashar updated the task description. (Show Details)