It was losing tons of users to Chrome long before that changed. And Firefox was significantly slower and taking longer to integrate new features due to that customization around the old extensions model.