That's to start, before public announcement. More funding will come as more companies realize how important it is for it to happen. There's really not been any avenue for companies to directly fund PHP core development before.