This redirect is within the scope of WikiProject Doctor Who, an attempt to build a comprehensive and detailed guide to Doctor Who and its spin-offs on Wikipedia. If you would like to participate, you can edit the article attached to this notice, or visit the project page, where you can join the project and/or contribute to the discussion.Doctor WhoWikipedia:WikiProject Doctor WhoTemplate:WikiProject Doctor WhoDoctor Who
This redirect is within the scope of WikiProject Fictional characters, a collaborative effort to improve the coverage of fictional characters on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.Fictional charactersWikipedia:WikiProject Fictional charactersTemplate:WikiProject Fictional charactersfictional character
I don't think it's ever been conclusively established on screen that Mike is short for Michael. I could be wrong. John Benton, however, has been established. --khaosworks (talk • contribs) 13:33, 2 September 2005 (UTC)[reply]
Well, yes, if you count "Wartime" as "on screen". Isn't that the source for "John Benton"?
Also, while I support the reversion on the grounds of accuracy to on-screen canon, what else would Mike be short for? Michel? Michaelangelo? Micro-brain? :^) —Josiah Rowe23:17, 2 September 2005 (UTC)[reply]
He could have simply been named 'Mike'. My dad's given name is Tony, for example, but the bank are always sending him letters addressed to 'Mr Anthony Hayes', presumably thinking they're being polite... Angmering23:41, 2 September 2005 (UTC)[reply]
Yeah, Paul beat me to that. :) And just to add, Wartime aside, at least there's a basis for mentioning it. If you want to take "John" out of the lead paragraph, but leave it in the later paragraph. I'm not objecting. --khaosworks (talk • contribs) 00:30, 3 September 2005 (UTC)[reply]