Merge "remove references to removed skins from mediawiki.util.js"