phpdoc and type hinting