I've been away from Drupal a few years. I now want to develop a site. I see it's up to version 9. However, when I tried to install Drupal 9 in DevDesktop to get a feel for it, I got the message PHP version too old. I'm selecting the highest PHP version, 7.1.12, and still get this message. I know D9 likes PHP 7.5 or something, but how do I get that?
Should I simply upgrade PHP locally, independent of DevDesktop? Or is DevDesktop now old school, replaced by something better?