Mozilla is set up as a non-profit with a for profit company as a subsidiary. The corporate Mozilla handles working on Firefox, mostly using money from Google for setting it as the default search engine. Because of that separation I don’t think they can easily mix those two piles of money together.
Google is still appealing it, so at best that will happen next year. But yeah, they’re probably adjusting their budget in anticipation.