I asked this a couple of months ago and was told they will make Astroid compatible sometime this year & that they have until the end of the year to do it. I wasn't best pleased with the response and had to reset to PHP 7.4.x
The administrator has disabled public write access.
JoomDev is not affiliated with or endorsed by Open Source Matters or the Joomla! Project. The Joomla! logo is used under a limited license granted by Open Source Matters the trademark holder in the United States and other countries.