diff options
| author | 2014-12-04 19:47:43 +0100 | |
|---|---|---|
| committer | 2014-12-04 19:47:43 +0100 | |
| commit | 1086ba4a2bbe43a0101105624f831516b59ba9e9 (patch) | |
| tree | 33f17552c6d29d97f734bc3484c128a66d8d0c35 /lib/Minz/ExtensionManager.php | |
| parent | 86f69ca396572ca4d7668a33e84cb4f3b523fc4e (diff) | |
Enable extensions for users
Diffstat (limited to 'lib/Minz/ExtensionManager.php')
| -rw-r--r-- | lib/Minz/ExtensionManager.php | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/lib/Minz/ExtensionManager.php b/lib/Minz/ExtensionManager.php index ae648fe0d..789557b9e 100644 --- a/lib/Minz/ExtensionManager.php +++ b/lib/Minz/ExtensionManager.php @@ -147,4 +147,15 @@ class Minz_ExtensionManager { $ext->init(); } } + + /** + * Enable a list of extensions. + * + * @param $ext_list the names of extensions we want to load. + */ + public static function enable_by_list($ext_list) { + foreach ($ext_list as $ext_name) { + self::enable($ext_name); + } + } } |
