diff --git a/js/misc/extensionUtils.js b/js/misc/extensionUtils.js
index 9df1f858a..df43d9825 100644
--- a/js/misc/extensionUtils.js
+++ b/js/misc/extensionUtils.js
@@ -1,7 +1,7 @@
 // -*- mode: js; js-indent-level: 4; indent-tabs-mode: nil -*-
 /* exported ExtensionState, ExtensionType, getCurrentExtension,
    getSettings, initTranslations, gettext, ngettext, pgettext,
-   openPrefs, isOutOfDate, installImporter, serializeExtension,
+   openPrefs, isOutOfDate, serializeExtension,
    deserializeExtension, setCurrentExtension */
 
 // Common utils for the extension system and the extension
@@ -310,12 +310,3 @@ function deserializeExtension(variant) {
     res.dir = Gio.File.new_for_path(res.path);
     return res;
 }
-
-function installImporter(extension) {
-    let oldSearchPath = imports.searchPath.slice();  // make a copy
-    imports.searchPath = [extension.dir.get_parent().get_path()];
-    // importing a "subdir" creates a new importer object that doesn't affect
-    // the global one
-    extension.imports = imports[extension.uuid];
-    imports.searchPath = oldSearchPath;
-}