I think its good documentation (I don't use phpstorm), but I don't care either way - I just think it should be consistent.