Last modified: 2014-07-25 11:42:14 UTC
export-0.8 has existed for a while now, just needs an entry in the index page. I would write a patch but I don't know where it lives...
https://github.com/wikimedia/operations-mediawiki-config/tree/master/docroot/mediawiki/xml It's already there, but not on the index page...
Change 149289 had a related patch set uploaded by Reedy: Add export-0.8 to index.html https://gerrit.wikimedia.org/r/149289
Change 149289 merged by jenkins-bot: Add export-0.8 to index.html https://gerrit.wikimedia.org/r/149289
Thanks :)