Reverted change of the deprecated property's PHPDoc (made in PR #2249).