extensionManager.js extensionRow.js extensionsWindow.js main.js misc/config.js misc/extensionUtils.js