pate I think it's not a standard, just the laziness of developers. Instead of marking the function
abstract, they just leave an empty body ... which makes it harder to analyze.
But we should take a look at other PHP Editors, and how they approach this.
Also, I'd like to report the diagnostics conveniently to you, and other users, so I'm still looking into it! 🙂