[ticket/12762] Make ext.php optional for extensions

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