Chromium is open source and is adopted by Microsoft via Edge. So if Google stops working on it, I'm sure MS will take up development. I think one standard is better for developers, but maybe not for diversity.