1
0
mirror of https://github.com/phpbb/phpbb.git synced 2025-08-15 05:04:09 +02:00

[ticket/11335] (extension manager/finder) Make php_ext 'php' not '.php'

PHPBB3-11335
This commit is contained in:
Nathan Guse
2013-04-24 17:15:28 -05:00
parent 6ef363547a
commit ce230f8dea
4 changed files with 9 additions and 9 deletions

View File

@@ -134,7 +134,7 @@ services:
- @filesystem
- %tables.ext%
- %core.root_path%
- .%core.php_ext%
- %core.php_ext%
- @cache.driver
ext.finder:
@@ -144,7 +144,7 @@ services:
- @filesystem
- %core.root_path%
- @cache.driver
- .%core.php_ext%
- %core.php_ext%
- _ext_finder
filesystem: