... | ... | @@ -15,5 +15,5 @@ console.log(new Date().getTime() - startTime); |
|
|
|
|
|
Pour mesurer le temps de calcul des nouveaux labels générés à partir de la liste des tutos il faut copier ce code dans la fonction hierarchy.maj_new_labels_tab() (browse.html)
|
|
|
|
|
|
Pour la sélection des nouveaux tutos dans la fonction maj_tutos_for_many_labels() (maj_tutorials.js) ou dans les autres fonctions de maj pour avoir tous les cas disponibles.
|
|
|
Pour la sélection des nouveaux tutos dans la fonction maj_tutos_for_many_labels() (maj_tutorials.js) ou dans les autres fonctions de maj pour avoir tout les cas disponibles.
|
|
|
|