 Complete the following phrase:  Gibson made his Premier League debut on 15 November 2008, appearing as a second-half substitute against Stoke City, before making his UEFA Champions League debut ten days later, coming on as a substitute for Darren Fletcher against Villarreal on 25 November 2008. In December 2008, he travelled with the United squad to the 