Nah. Just have the credits go "and Johnny Depp". Plus neither of the other films run credits before the story, so why would it matter. And it worked fine in the first Burton Batman movie with Nicholson as the Joker.
I would matter because if you're going to pay for Johnny Depp, you're going to USE him.