fix: fix minimization of the client js

public/script/app.js

@@ -196,7 +196,9 @@ angular
       return capitalized.join(" ");
     };
   })
-  .filter("diff", function ($sce) {
+  .filter("diff", [
+    "$sce",
+    function ($sce) {
       return function (str) {
         if (!str) return str;
         const lines = str.split("\n");
@@ -221,7 +223,8 @@ angular
         }
         return $sce.trustAsHtml(o.join("\n"));
       };
-  })
+    },
+  ])
   .directive("markdown", [
     "$location",
     function ($location) {
@@ -394,7 +397,11 @@ angular
       return {
         restrict: "E",
         scope: { file: "=" },
-        controller: function ($element, $scope, $http) {
+        controller: [
+          "$element",
+          "$scope",
+          "$http",
+          function ($element, $scope, $http) {
             function renderNotebookJSON(json) {
               const notebook = nb.parse(json);
               try {
@@ -425,6 +432,7 @@ angular
             });
             render();
           },
+        ],
       };
     },
   ])
@@ -435,7 +443,9 @@ angular
         scope: { stats: "=" },
         template:
           "<div class='lang' ng-repeat='lang in elements' title='{{lang.lang|title}}: {{lang.loc | number}} lines' data-toggle='tooltip' data-placement='bottom'  style='width:{{lang.loc*100/total}}%;background:{{lang.color}};'></div>",
-        controller: function ($scope) {
+        controller: [
+          "$scope",
+          function ($scope) {
             function render() {
               $scope.elements = [];
               $scope.total = 0;
@@ -461,6 +471,7 @@ angular
             });
             render();
           },
+        ],
       };
     },
   ])