es-shims/es5-shim — pull request #217 by ljharb (2014-03-31 05:15:54+00:00)
Title: Use uglifyjs mangle option.

cc @webreflection

The output of this is indeed smaller. Anyone have any objections?