From cb17b350caf9e113b7a3a36c5add5d16a88ea46d Mon Sep 17 00:00:00 2001 From: Ned Batchelder Date: Wed, 20 Aug 2014 09:47:21 -0400 Subject: Rename extensions to plugins, since extensions reminds me of parts of filenames --HG-- rename : coverage/extension.py => coverage/plugin.py --- coverage/extension.py | 20 -------------------- 1 file changed, 20 deletions(-) delete mode 100644 coverage/extension.py (limited to 'coverage/extension.py') 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 -- cgit v1.2.1