User blog comment:DaNASCAT/Technical Update: January 13, 2016/@comment-35.11.22.134-20160118080348/@comment-126761-20160118140940

If normal import methods are used, it is not necessary to add 'MediaWiki' to Dev Wiki imports - we intentionally tweaked our code to take account of that, so that mass edits shouldn't be required. If some aspect of that isn't working, please let us know via Special:Contact - thanks!