1
0
mirror of https://github.com/phpbb/phpbb.git synced 2025-06-04 13:35:13 +02:00
Oleg Pudeyev fc41b52cea Merge PR #1039 branch 'p/ticket/11154' into develop
* p/ticket/11154:
  [ticket/11154] Do not try to load any extensions when installing.
2012-11-07 19:49:12 -05:00
..