Page MenuHomePhabricator

Missing Link at https://www.mediawiki.org/xml/ for entry export-0.11
Closed, ResolvedPublic

Description

Hello,
at the site https://www.mediawiki.org/xml/ the entry export-0.11 is missing.

But apparently the page is there https://www.mediawiki.org/xml/export-0.11/

Kind regards

Event Timeline

Change 710011 had a related patch set uploaded (by Reedy; author: Reedy):

[operations/mediawiki-config@master] Add export-0.11 to xml/index.html

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

Reedy triaged this task as Low priority.Aug 4 2021, 11:50 AM
Reedy added a project: WMF-General-or-Unknown.

Change 710011 merged by jenkins-bot:

[operations/mediawiki-config@master] Add export-0.11 to xml/index.html

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

Mentioned in SAL (#wikimedia-operations) [2021-08-04T11:53:47Z] <reedy@deploy1002> Synchronized docroot/mediawiki.org/xml/index.html: T288040 (duration: 01m 08s)

Reedy claimed this task.
Reedy added a subscriber: Reedy.

Done. If it's not showing now, it's probably due to caching.

Pages purged and seen working from here at least

Screenshot 2021-08-04 at 12.54.47.png (580×834 px, 159 KB)