Merge "resources: Move various single-file mediawiki.* modules to src/"