Fix phpbb extension naming