Build #1208

PHPBB3-12009
Incorrectly installed extensions should be ignored