Thread:Project:Support desk/Gadget scripts missing after migration without upgrade

We have recently migrated (1.13 on AIX with PHP-5.2.6 (apache) and MySQL 5.1.26-rc) to (1.19 on MSW/IIS with PHP-5.3.29 and MySQL-5.1.73), and can’t find the gadget scripts (I was particularly looking forward to having Navigation pop-ups). Extension:Gadgets gives me the impression that the scripts are meant to be present in the installation. I suppose that the scripts reside in the wiki DB as pages, and hence suspect that dropping and loading the DB must have lost them.

Does this mean that the colleague who migrated the DB overlooked something in the instructions? Looking at Manual:Moving a wiki, I see one is meant to upgrade the old server before migration: would this explain it? (Perhaps a warning there about the consequences would be in order.) And what does one do if the old server has run out of space: migrate to the old version and then upgrade? Or if it has failed totally?

All the same, the new wiki appears to be running quite satisfactorily, except that it reports several spurious Wanted pages, which I thinking come from treating a “:” as part of the page name when the pages actually exist in an explicit namespace. How confident can we be of the integrity of the new wiki?

Am I right in thinking that what I need to do now is (as a Bureaucrat) to create pages in our wiki such as MediaWiki:Gadget-edittop.js and MediaWiki:Gadget-popups.js using cut-and-paste from the same pages on this site (mediawiki.org)? Or is there a better way of going about it (if we do not need to redo the migration)?