Where did the @property delcarations for the inbuilt services go?
The bad news is it's been a bug in PHPStorm since 9.0.1.

The good news is it's been fixed in the PHPStorm 11 EAP and will be in the 11 final release.

https://youtrack.jetbrains.com/issue/WI-28394