I'd like your opinion on something I'm working on.
In some rare cases, you might end up with a specific PHP file that requires a different PHP version then the rest of the project. For example, this happened to me a few times with templates files (generating PHP code to be run elsewhere).
The question, in short, is: if you had to mark such files with a top-level PHPDoc block with an annotation for the PHP version, what would it look like?
For example:`/** @php 5.6 Yeah, sadly it's still in use */` (`@php <version> [<reason>]`)