add PHPDoc for setMimetype()