Minified theater.js