 Complete the following phrase:  WrestleMania is a professional wrestling pay-per-view event produced by the American promotion WWE, formerly known as the World Wrestling Federation WWF, and is considered the flagship event of the company. The events feature wrestlers from the promotions roster competing in a variety of professional wrestling matches. The WrestleMania franchise debuted in 1985 with 