diff options
| author |  Marien Fressinaud <dev@marienfressinaud.fr>
| 2015-01-29 10:17:29 +0100 |
|---|---|---|
| committer | Marien Fressinaud <dev@marienfressinaud.fr>
| 2015-01-29 10:17:29 +0100 |
| commit | a47ce4f6af9e55267c4ce50af1bcc052229535ad (patch) | |
| tree | bf4eb3853983a668e22dac501b5d3eab3b4f68d6 /lib/Minz/ExtensionManager.php | |
| parent | 59ea9f2a3b131432236745483e20cb50338110df (diff) | |
Fix including extensions for actualize_script
Extensions could be included multiple times. It resulted in an error.
Diffstat (limited to 'lib/Minz/ExtensionManager.php')
| -rw-r--r-- | lib/Minz/ExtensionManager.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Minz/ExtensionManager.php b/lib/Minz/ExtensionManager.php index f00453f6c..c5c68a8d4 100644 --- a/lib/Minz/ExtensionManager.php +++ b/lib/Minz/ExtensionManager.php @@ -114,7 +114,7 @@ class Minz_ExtensionManager { $entry_point_filename = $info['path'] . '/' . self::$ext_entry_point; $ext_class_name = $info['entrypoint'] . 'Extension'; - include($entry_point_filename); + include_once($entry_point_filename); // Test if the given extension class exists. if (!class_exists($ext_class_name)) { |