Hope you are doing good! This issue is now fixed you just need to update your Joomla to 3.9.3 and the issue will be resolved.
We did not create any override file here in astroid.
Let us know if you face any other query!
If you like our support and products, tweet us at joomdev and let the world know about it.
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.