3 files changed, 0 insertions, 8 deletions

diff --git a/src/luarocks/cfg.lua b/src/luarocks/cfg.lua
index 20aa4a21..52b8c089 100644
--- a/src/luarocks/cfg.lua
+++ b/src/luarocks/cfg.lua
@@ -212,7 +212,6 @@ end
 local defaults = {
 
    local_by_default = false,
-   use_extensions = false,
    accept_unknown_fields = false,
    fs_use_modules = true,
    hooks_enabled = true,
diff --git a/src/luarocks/command_line.lua b/src/luarocks/command_line.lua
index 495fe855..dbf64b9c 100644
--- a/src/luarocks/command_line.lua
+++ b/src/luarocks/command_line.lua
@@ -113,12 +113,6 @@ function command_line.run_command(...)
       end
    end
    command = command:gsub("-", "_")
-
-   if flags["extensions"] then
-      cfg.use_extensions = true
-      local type_check = require("luarocks.type_check")
-      type_check.load_extensions()
-   end
    
    if cfg.local_by_default then
       flags["local"] = true
diff --git a/src/luarocks/util.lua b/src/luarocks/util.lua
index 6a99b568..6fecf863 100644
--- a/src/luarocks/util.lua
+++ b/src/luarocks/util.lua
@@ -81,7 +81,6 @@ local supported_flags = {
    ["deps"] = true,
    ["deps-mode"] = "<mode>",
    ["detailed"] = "\"<text>\"",
-   ["extensions"] = true,
    ["force"] = true,
    ["from"] = "<server>",
    ["help"] = true,