diff options
author | Nils Adermann <naderman@naderman.de> | 2013-09-17 16:15:44 +0200 |
---|---|---|
committer | Nils Adermann <naderman@naderman.de> | 2013-09-17 16:15:44 +0200 |
commit | c4b53490ad93566914cbc280910c67b75346a665 (patch) | |
tree | 206652fbbe1a3d0f3871a5342eef0b519773a079 /phpBB/phpbb/extension/manager.php | |
parent | d12f35885539c8bd7d2d795d9fc5638d022698bb (diff) | |
download | forums-c4b53490ad93566914cbc280910c67b75346a665.tar forums-c4b53490ad93566914cbc280910c67b75346a665.tar.gz forums-c4b53490ad93566914cbc280910c67b75346a665.tar.bz2 forums-c4b53490ad93566914cbc280910c67b75346a665.tar.xz forums-c4b53490ad93566914cbc280910c67b75346a665.zip |
[ticket/11700] Correctly load extensions with nonprefixed namespaces
PHPBB3-11700
Diffstat (limited to 'phpBB/phpbb/extension/manager.php')
-rw-r--r-- | phpBB/phpbb/extension/manager.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/phpBB/phpbb/extension/manager.php b/phpBB/phpbb/extension/manager.php index d174146f52..ce6d7e05c8 100644 --- a/phpBB/phpbb/extension/manager.php +++ b/phpBB/phpbb/extension/manager.php @@ -133,7 +133,7 @@ class manager */ public function get_extension($name) { - $extension_class_name = 'phpbb_ext_' . str_replace('/', '_', $name) . '_ext'; + $extension_class_name = str_replace('/', '\\', $name) . '\\ext'; $migrator = $this->container->get('migrator'); |