Did they sing all-star in the Shrek musical?

The song "All-Star" was not featured in the Shrek musical. It was used in the film Shrek, but not the musical.