Run final migration

[renoirb]

Now that we have a full conversion possible, let's make the migration so we can shut down MediaWiki.

Commands used to export contents from their respective namespaces:

php mediawiki/maintenance/dumpBackup.php --full --filter=namespace:0,108 > wpwiki_main.xml                  # Main namespace, with full history
php mediawiki/maintenance/dumpBackup.php --current --filter=namespace:2,200,202 > wpwiki_users.xml   # Users namespace
php mediawiki/maintenance/dumpBackup.php --current --filter=namespace:3020 > wpwiki_meta.xml     # Meta namespace (only current, history is too heavy in migration)
php mediawiki/maintenance/dumpBackup.php --current --filter=namespace:3000 > wpwiki_wpd.xml       #   WPD namespace
php mediawiki/maintenance/dumpBackup.php --current --filter=namespace:1,3,5,7,9,11,13,15,103,107,109,201,203,4001,3011,3021 > wpwiki_talk.xml  # All talk namespaces

[renoirb]

Done.