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/includes/bbcode.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/includes/bbcode.php')
0 files changed, 0 insertions, 0 deletions