noanimate.js

//$animate service
//so noanimate turns $animate service off;
//where is $animate defined?
//oh the angular $animate service: https://docs.angularjs.org/api/ng/service/$animate

    function s(t, n) {
        n.hasOption("noanimate") && e.getService("$animate").enabled(!1),
        n.lang && t.setLanguage(n.lang),
        n.theme && t.theme.apply(n.theme)
    }