Deprecated option in phpdoc block