phpbb/phpbb — pull request #2642 by Nicofuma (2014-06-23 17:39:58+00:00)
Title: [ticket/12762] Make ext.php optional for extensions

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

PHPBB3-12762