The event marked the final WrestleMania event under the WWF name .
This was the final WrestleMania under WWF name .