Request [ edit ]
Two improvements requested for our export function:
The export format for MediaWiki doesn't export users'
real names, and it would be nice for downstream publishers if it did (per Tech:Export should include real names).
It seems as though some pages cannot be exported with their full history (per
Tech:Export fails for pages with long histories). -- Peter 11:34, 21 June 2012 (EDT)
The number of revisions allowed for export is controlled by
http://www.mediawiki.org/wiki/Manual:$wgExportMaxHistory and limited for performance reasons.
Mediawiki export uses user IDs rather than real names - updating this is probably a Mediawiki change rather than something that IB could do. See
http://en.wikipedia.org/wiki/Help:Export and note the DTD format:
<!ELEMENT contributor ((username,id) | ip)>
<!ELEMENT username (#PCDATA)>
<!ELEMENT ip (#PCDATA)>
Ryan 13:53, 21 June 2012 (EDT)