It is what they were proposing. Also, it seems it won't go through anyway. That said having miners funding development isn't a bad idea. At least having them contribute.
They are proposing to lower the mining profitability, not to mine at a loss. It wouldn't have been the mining funding the devs, you are mistaken.
