Changes

Looking at [[Special:AllPages]], it does seem that some of the pages from the old wiki were previously 'imported' to the new wiki. I suspect that this was done page-by-page by the students, copying over the content. Nevertheless, there are pages with the same name but differing content, which is going to cause collisions. See https://meta.wikimedia.org/wiki/Help:Import#Merging_histories_and_other_complications. The script pagefromfile.py has the option of adding the old content to the bottom of the new page (or the top), which would be helpful in many cases. However, a careful approach might be best. I could build lists of pages that have distinct names, common names, and common names but different import criteria, etc. Using [[Special:Import]] should merge the revision histories, which will mean that no data will be lost, as all revisions on Astarte's wiki should be older than the content on Mother's wiki. The documentation for importDump.php[https://www.mediawiki.org/wiki/Manual:ImportDump.php] doesn't make it clear how it processes revisions and potential conflict. [[https://www.mediawiki.org/wiki/Manual:DumpBackup.php Manual:dumpBackup.php]] documents options for starting and ending at specific revisions, implying at least some support for revisions.