Rename extensions to plugins, since extensions reminds me of parts of filenames

--HG--
rename : coverage/extension.py => coverage/plugin.py

1 files changed, 0 insertions, 20 deletions

diff --git a/coverage/extension.py b/coverage/extension.py
deleted file mode 100644
index 8c89b88e..00000000
--- a/coverage/extension.py
+++ /dev/null
@@ -1,20 +0,0 @@
-"""Extension management for coverage.py"""
-
-def load_extensions(modules, name):
-    """Load extensions from `modules`, finding them by `name`.
-
-    Yields the loaded extensions.
-
-    """
-
-    for module in modules:
-        try:
-            __import__(module)
-            mod = sys.modules[module]
-        except ImportError:
-            blah()
-            continue
-
-        entry = getattr(mod, name, None)
-        if entry:
-            yield entry