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
Unicard-ic | |
Aug 4 2021, 9:24 AM |
F34577713: Screenshot 2021-08-04 at 12.54.47.png | |
Aug 4 2021, 11:55 AM |
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
Subject | Repo | Branch | Lines +/- | |
---|---|---|---|---|
Add export-0.11 to xml/index.html | operations/mediawiki-config | master | +1 -0 |
Change 710011 had a related patch set uploaded (by Reedy; author: Reedy):
[operations/mediawiki-config@master] Add export-0.11 to xml/index.html
Change 710011 merged by jenkins-bot:
[operations/mediawiki-config@master] Add export-0.11 to xml/index.html
Mentioned in SAL (#wikimedia-operations) [2021-08-04T11:53:47Z] <reedy@deploy1002> Synchronized docroot/mediawiki.org/xml/index.html: T288040 (duration: 01m 08s)
Done. If it's not showing now, it's probably due to caching.
Pages purged and seen working from here at least