phpbb/phpbb — pull request #2417 by nickvergessen (2014-05-06 16:33:32+00:00)
Title: [Ticket/12508] phpbb(\extension)\finder should not depend on extension manager

https://tracker.phpbb.com/browse/PHPBB3-12508