Is this a PHP Unit annotation?