From 8dd5411d9f6be5ed05cfcd545663d7fb5d9a1a5a Mon Sep 17 00:00:00 2001
From: "B. Ninassi" <benjamin.ninassi@inria.fr>
Date: Tue, 7 Apr 2020 15:19:41 +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 8486796..a026491 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;
+ int $sectionNumber = 0;
foreach ($dataArray as $tmp_line){
$tmp_section=$tmp_line[20];
$tmp_url=$tmp_line[1];
--
GitLab