we (usually) put fully qualified namespace in phpdoc