From bc957b6cadefc9bb7a3bf6c49b539d553a0a0783 Mon Sep 17 00:00:00 2001
From: "B. Ninassi" <benjamin.ninassi@inria.fr>
Date: Tue, 7 Apr 2020 15:21:04 +0200
Subject: [PATCH] .

---
 gitlab-ci/generateIAIlinks.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gitlab-ci/generateIAIlinks.php b/gitlab-ci/generateIAIlinks.php
index a026491..419c6f9 100644
--- a/gitlab-ci/generateIAIlinks.php
+++ b/gitlab-ci/generateIAIlinks.php
@@ -50,7 +50,7 @@ if($dataArray && $dataArraySize!=0){
   $currentSection="";
   usort($dataArray, "cmpSection");//on trie le tableau
   $colorArray=array("blue","orange","green");
-  int $sectionNumber = 0;
+  $sectionNumber = 0;
   foreach ($dataArray as $tmp_line){	    
 	$tmp_section=$tmp_line[20];
 	$tmp_url=$tmp_line[1];
-- 
GitLab