PHPdoc header would be better