The Mariners made it official on Wednesday, announcing the signing of free-agent outfielder Raul Ibanez to a one-year contract and designating right-handed pitcher D.J. Mitchell for assignment to make room on the 40-man roster.