Thanks for your report!

After some investigation I think that these are actually two different actors with the same name:

• Craig Warnock, child star from Time Bandits (IMDB)
  
• Craig Warnock, professional British actor (IMDB)
  

Although it is possible that Craig Warnock, child star, became professional actor, I don't think this is the case, as there is no mention of Time Bandits movie in the archived webpage of Craig Warnock, professional actor (bio, resume). So, I've moved all credits to their respective profiles and until proven otherwise I would keep both profiles.

Thank you.