then the phpdoc of the interface is wrong