Fixed the phpdoc of the MessageProviderInterface