From 5ea5806730b311c341436266670c1091e994ff58 Mon Sep 17 00:00:00 2001
From: "Jasper St. Pierre" <jstpierre@mecheye.net>
Date: Fri, 6 Apr 2012 14:02:23 -0400
Subject: [PATCH] extensionUtils: Load user extensions before system extensions

https://bugzilla.gnome.org/show_bug.cgi?id=673613
---
 js/misc/extensionUtils.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/js/misc/extensionUtils.js b/js/misc/extensionUtils.js
index 1697c4609..7dcf166de 100644
--- a/js/misc/extensionUtils.js
+++ b/js/misc/extensionUtils.js
@@ -184,11 +184,11 @@ function scanExtensionsInDirectory(callback, dir, type) {
 
 function scanExtensions(callback) {
     let systemDataDirs = GLib.get_system_data_dirs();
+    scanExtensionsInDirectory(callback, userExtensionsDir, ExtensionType.PER_USER);
     for (let i = 0; i < systemDataDirs.length; i++) {
         let dirPath = GLib.build_filenamev([systemDataDirs[i], 'gnome-shell', 'extensions']);
         let dir = Gio.file_new_for_path(dirPath);
         if (dir.query_exists(null))
             scanExtensionsInDirectory(callback, dir, ExtensionType.SYSTEM);
     }
-    scanExtensionsInDirectory(callback, userExtensionsDir, ExtensionType.PER_USER);
 }