[gnome-shell] extensionPrefs: Respect 'disable-extension-version-validation' setting

[Florian Müllner <fmuellner src gnome org>]

commit d77c7a407ccb063b1d68837e950de688f64c3a2c
Author: Florian Müllner <fmuellner gnome org>
Date:   Fri Jul 18 10:46:01 2014 +0200

    extensionPrefs: Respect 'disable-extension-version-validation' setting

 js/extensionPrefs/main.js |    4 +++-
 1 files changed, 3 insertions(+), 1 deletions(-)
---
diff --git a/js/extensionPrefs/main.js b/js/extensionPrefs/main.js
index 586bad1..88e639a 100644
--- a/js/extensionPrefs/main.js
+++ b/js/extensionPrefs/main.js
@@ -54,15 +54,17 @@ const Application = new Lang.Class({
         this._startupUuid = null;
         this._loaded = false;
         this._skipMainWindow = false;
+        this._settings = new Gio.Settings({ schema_id: 'org.gnome.shell' });
     },
 
     _extensionAvailable: function(uuid) {
         let extension = ExtensionUtils.extensions[uuid];
+        let checkVersion = !this._settings.get_boolean('disable-extension-version-validation');
 
         if (!extension)
             return false;
 
-        if (ExtensionUtils.isOutOfDate(extension))
+        if (checkVersion && ExtensionUtils.isOutOfDate(extension))
             return false;
 
         if (!extension.dir.get_child('prefs.js').query_exists(null))