Please add the namespace of a page when export.
It is very hard to determine the namespace of a title. It is better when MediaWiki can give the right number inside the export/dump.
function openPage in Export.php has the full row of page_table, so the namespace information is there. Please add the information to the output.
Thanks.
Version: unspecified
Severity: enhancement