give deprecated function up + postpone git relative date format use

* replace strftime() by datefmt_create() and datefmt_format()
  
(formats:https://unicode-org.github.io/icu/userguide/format_parse/datetime/)
* postpone due to issue with git output locale in docker container

README.md

@@ -19,10 +19,16 @@ do
         # only checking out the master (or whatever branch you would like to deploy)
         if [ "$ref" = "refs/heads/master" ];
         then
-                echo "Ref $ref received. Deploying master branch to production..."
                 cd $TARGET
                 unset GIT_DIR
-                git pull --ff-only $REMOTE master
+                PROD_BR=`git rev-parse --abbrev-ref HEAD`
+                if [ $PROD_BR != "master" ];
+                then
+                        echo "Production repo is on $PROD_BR branch. Aborting..."
+                else
+                        echo "Ref $ref (${newrev:0:7}) received. Deploying master branch to production..."
+                        git pull --ff-only $REMOTE master
+                fi
         else
                 echo "Ref $ref received. Doing nothing: only the master branch may be deployed on this server."
         fi

html/includes/mtime.php

@@ -1,6 +1,13 @@
 <?php
-  date_default_timezone_set('Europe/Paris');
-  $mtime =  date("d M Y H:i:s", filemtime($this_file));
-  setlocale(LC_TIME, 'fr_FR.utf8','fra');
+  $last_rev = exec('git log -1 --pretty=format:"%H" '.$this_file);
+  $mtime = exec('LANG="fr_FR.UTF-8" git log -1 --pretty="format:%ct" '.$this_file);
+  $fmt = datefmt_create(
+    'fr-FR',
+    IntlDateFormatter::FULL,
+    IntlDateFormatter::FULL,
+    'Europe/Paris',
+    IntlDateFormatter::GREGORIAN,
+    'd MMMM Y à HH:mm:ss O'
+  );
 ?>
-<p style="text-align:right;">Mis à jour le <?php echo strftime("%d %B %Y à %H:%M:%S UTC%z", strtotime($mtime)); ?></p>
+<p style="text-align:right;">Mis à jour le <a href="https://git.gnous.fr/gnous/main_website/commit/<?php echo $last_rev;?>" target="_blank"><?php echo datefmt_format($fmt, $mtime); ?></a></p>

html/index.php

@@ -1,26 +1,28 @@
 <?php
   $this_file = basename($_SERVER["SCRIPT_FILENAME"]); //contient le nom de ce fichier (lui-même)
-  setlocale (LC_TIME, 'fr_FR.utf8','fra');
-  $rev_long = exec('git rev-parse HEAD'); // contient le hash du commit sélectionné
-  $rev_short = substr($rev_long, 0, 7); // contient le hash du commit sélectionné
 
   /*
   Petit script pour afficher la dernière date de modification (toute page confondue) sur la page d'accueil (index.php)
   */
-  date_default_timezone_set('Europe/Paris');
-  $mtime_this_file = filemtime($this_file); //récupération de la date de modification de ce fichier
-  $mtime_max = $mtime_this_file;  //elle est instituée comme un maximum
+  $mtime_max = exec('git log -1 --pretty="format:%ct" '.$this_file); //récupération de la date de modification de ce fichier et institution comme maximum
+  $last_rev = exec('git log -1 --pretty=format:"%H" '.$this_file); //récupération du hash du commit associé
 
   foreach (glob("*.php") as $filename) {  //récupération de la liste de tous les fichiers .php du répertoire courant (les pages en somme)
-    $mtime = filemtime($filename);
+    $mtime = exec('git log -1 --pretty="format:%ct" '.$filename);
     if($mtime_max < $mtime) { //si une date de modification est supérieure au max (donc celle de index.php), alors on conserve sa valeur
       $mtime_max = $mtime;
+      $last_rev = exec('git log -1 --pretty=format:"%H" '.$filename); //récupération du hash du commit associé
     }
   }
-  if($mtime_max > $mtime_this_file) { //si la date maximum n'est pas celle de cette page (index.php), alors cela veut dire qu'une page a été modifiée plus récemment
-    $mtime_this_file = $mtime_max;
-  }
-  $mtime_this_file = date("d M Y H:i:s", $mtime_this_file);	//formatage de la date retenue
+  $fmt = datefmt_create(
+    'fr-FR',
+    IntlDateFormatter::FULL,
+    IntlDateFormatter::FULL,
+    'Europe/Paris',
+    IntlDateFormatter::GREGORIAN,
+    'd MMMM Y à HH:mm:ss O'
+  );
+
 ?>
 
 <!DOCTYPE HTML>
@@ -34,7 +36,7 @@
 		<?php include 'includes/titre.php'; ?>
 		<br>
 		<?php include 'includes/menu.php'; ?>
-        <p style="text-align:right;">Dernière mise à jour du site le <?php echo strftime("%d %B %Y à %H:%M:%S UTC%z", strtotime($mtime_this_file)); ?><br>git revision: <a href="https://git.gnous.fr/gnous/main_website/commit/<?php echo $rev_long;?>" target="_blank"><?php echo $rev_short;?></a></p>
+        <p style="text-align:right;">Dernière mise à jour du site le <?php echo datefmt_format($fmt, $mtime_max); ?><br>git revision: <a href="https://git.gnous.fr/gnous/main_website/commit/<?php echo $last_rev;?>" target="_blank"><?php echo substr($last_rev, 0, 7);?></a></p>
 
 		<div style="width:40%;">
 		<p style="text-align: right;">

html/services.php

@@ -52,7 +52,7 @@
 
     <h3 id="perennite">Pérennité des services</h3>
 
-    <p>Depuis la création du projet, deux des services proposés ont démontré leur intérêt et sont dorénavant considérés pérennes : Nextcloud et Mattermost.
+    <p>Depuis la création du projet, trois des services proposés ont démontré leur intérêt et sont dorénavant considérés pérennes : Nextcloud, Mattermost et Mailcow.
         GNOUS cherche donc à assurer une bonne stabilité de ces outils ainsi qu'une disponibilité cohérente. De plus, il serait déraisonnable de procéder
         à leur arrêt définitif de manière imprévue, sans organiser et faciliter au préalable la migration des utilisateurices vers une autre instance ou plateforme.<br>
         Enfin, ce site web semble indispensable à la présentation de GNOUS, et n'est par conséquent pas non plus destiné à disparaître inopinément.</p>