Ah, Ok
Might explain the other change where I wrote a comment.
But also probably no PHPDoc change.