PHP-778: Deprecate static properties