diff options
Diffstat (limited to 'install/ui/src/webui.profile.js')
| -rw-r--r-- | install/ui/src/webui.profile.js | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/install/ui/src/webui.profile.js b/install/ui/src/webui.profile.js index e861eb156..93585e39a 100644 --- a/install/ui/src/webui.profile.js +++ b/install/ui/src/webui.profile.js @@ -9,12 +9,11 @@ var profile = (function(){ releaseName: "lib", action: "release", - // Remove just comments. Don't use Shrinksave or Clusure, we don't - // pack it, it would raise error. - // Additional optimization can be done by uglify.js. - layerOptimize: "comments", - optimize: "comments", - cssOptimize: "comments", + // optimization done separately by uglify.js + layerOptimize: false, + optimize: false, + cssOptimize: false, + mini: true, stripConsole: "warn", selectorEngine: "lite", |