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)