IMO this is actually what it is intended.
So that there is no mistake on the version, since PHP could be fetching an wrong version and go unnoticed...