image: YouTube

Before everyone left the theater after Tuesday night's "Aladdin on Broadway" show, the cast of Aladdin and the audience that night paid tribute to Robin Williams.