diff --git a/js/extensionPrefs/main.js b/js/extensionPrefs/main.js index 88e639acb..f56e5b6d4 100644 --- a/js/extensionPrefs/main.js +++ b/js/extensionPrefs/main.js @@ -59,14 +59,10 @@ const Application = new Lang.Class({ _extensionAvailable: function(uuid) { let extension = ExtensionUtils.extensions[uuid]; - let checkVersion = !this._settings.get_boolean('disable-extension-version-validation'); if (!extension) return false; - if (checkVersion && ExtensionUtils.isOutOfDate(extension)) - return false; - if (!extension.dir.get_child('prefs.js').query_exists(null)) return false;