diff options
| author | Nicofuma <github@nicofuma.fr> | 2015-05-14 16:47:18 +0200 |
|---|---|---|
| committer | Nicofuma <github@nicofuma.fr> | 2015-05-14 16:47:18 +0200 |
| commit | a26ab86dc63b196c79d86f3da36b8596a7beeb02 (patch) | |
| tree | be417ba6874bc300c9bf6ad393dcbf4b9789b836 /phpBB/phpbb/request/request_interface.php | |
| parent | 11167f606015bc4663fa5a122ca95436ff412afc (diff) | |
| parent | 74dbaac0394f45955553ff46515404fe5b06bfba (diff) | |
| download | forums-a26ab86dc63b196c79d86f3da36b8596a7beeb02.tar forums-a26ab86dc63b196c79d86f3da36b8596a7beeb02.tar.gz forums-a26ab86dc63b196c79d86f3da36b8596a7beeb02.tar.bz2 forums-a26ab86dc63b196c79d86f3da36b8596a7beeb02.tar.xz forums-a26ab86dc63b196c79d86f3da36b8596a7beeb02.zip | |
Merge pull request #3577 from MateBartus/ticket/13800
[ticket/13800] Make router's extension manager dependency optional
Diffstat (limited to 'phpBB/phpbb/request/request_interface.php')
0 files changed, 0 insertions, 0 deletions