Magnus, could you do this as a drop-in extension rather than in the main SpecialExport code?

* It's standalone * It's optional * It doesn't use the defined export format

I've taken it out for the moment, but would love to see it available as an extension.

A couple notes: * Since this isn't part of the defined mediawiki export schema, it should probably not claim to be the same version. * Probably best to use existing htmlspecialchars() rather than reimplementing it * Actually, there's a function wfElement() specifically for generating XML tags with proper formatting. That might be handy. * There's no index on page_touched, and no limit on the query; that could be a serious performance problem if this were used. * Probably should use the database timestamp() method to format the timestamp in the query; we'll at some point switch over to using DATETIME fields rather than the 14-char fields.

-- brion vibber (brion @ pobox.com)