docs: function reloadWhenParametersChange($route, $scope, $location, parameters) {
          if (parameters === void 0) { parameters = ["nid"]; }
          var initial = angular.copy($location.search());
          $scope.$on('$routeUpdate', function () {
              // lets check if any of the parameters changed
              var current = $location.search();
              var changed = [];
              angular.forEach(parameters, function (param) {
                  if (current[param] !== initial[param]) {
                      changed.push(param);
                  }
              });
              if (changed.length) {
                  //log.info("Reloading page due to change to parameters: " + changed);
                  $route.reload();
              }
          });
      }