Add php-xml for MediaWiki XML dump/import