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

PHPBB3-12762