michael@0: /* Any copyright is dedicated to the Public Domain.
michael@0:    http://creativecommons.org/publicdomain/zero/1.0/ */
michael@0: 
michael@0: // Tests the extensions.defaultProviders.enabled pref which turns
michael@0: // off the default XPIProvider and LightweightThemeManager.
michael@0: 
michael@0: function run_test() {
michael@0:   Services.prefs.setBoolPref("extensions.defaultProviders.enabled", false);
michael@0:   createAppInfo("xpcshell@tests.mozilla.org", "XPCShell", "1", "1.9.2");
michael@0:   startupManager();
michael@0:   do_check_false(AddonManager.isInstallEnabled("application/x-xpinstall"));
michael@0:   Services.prefs.clearUserPref("extensions.defaultProviders.enabled");
michael@0: }