Bob, why would you, a "professional" movie critic, use TV tropes as a source for ... well anything? According to Box Office Mojo, the highest grossing "Kid's" film adjusted for inflation is E.T. The muppet movie is not even in the top 200.
http://boxofficemojo.com/alltime/adjusted.htm
I...