use phpdocs deprecated notation