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
+                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');
+  $last_rev = exec('git log -1 --pretty=format:"%H" '.$this_file);
-  $mtime =  date("d M Y H:i:s", filemtime($this_file));
+  $mtime = exec('LANG="fr_FR.UTF-8" git log -1 --pretty="format:%ct" '.$this_file);
-  setlocale(LC_TIME, 'fr_FR.utf8','fra');
+  $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_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
-  $mtime_this_file = filemtime($this_file); //récupération de la date de modification de ce fichier
+  $last_rev = exec('git log -1 --pretty=format:"%H" '.$this_file); //récupération du hash du commit associé
-  $mtime_max = $mtime_this_file;  //elle est instituée comme un maximum
 
   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
+  $fmt = datefmt_create(
-    $mtime_this_file = $mtime_max;
+    'fr-FR',
-  }
+    IntlDateFormatter::FULL,
-  $mtime_this_file = date("d M Y H:i:s", $mtime_this_file);	//formatage de la date retenue
+    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>

html/stats.php

@@ -27,7 +27,6 @@
 
     <h2 id="sommaire">Sommaire</h2>
     <ul>
-        <li> <a href="#sys" title="https://www.gnous.fr/stats.php#sys">Système</a></li>
         <li> <a href="#mm" title="https://www.gnous.fr/stats.php#mm">Mattermost</a></li>
         <ul>
           <li> <a href="#mmsyn" title="https://www.gnous.fr/stats.php#mmsyn">Synthèse</a></li>
@@ -47,10 +46,6 @@
     </ul>
 
 
-		<h2 id=sys>Système</h2>
-		<h3 id=sysstorage>Espace disque</h3>
-		<a href="/ressources/stats/sys_storage.png" target="_blank" title="Système - Espace disque"><img src="ressources/stats/sys_storage.png"></a><br>
-
 		<h2 id=mm>Mattermost</h2>
 		<h3 id=mmsyn>Synthèse</h3>
 		<a href="/ressources/stats/mmsyn.png" target="_blank" title="Mattermost - Synthèse"><img src="ressources/stats/mmsyn.png"></a><br>

print_stats.py

@@ -21,12 +21,6 @@ try:
       request.headers['Authorization'] = 'Basic '+os.environ["ES_TOKEN"]
   browser.request_interceptor = interceptor
 
-  browser.set_window_size(3000, 940)
-
-  browser.get("https://mon.gnous.fr/app/dashboards#/view/b4a96730-3a7c-11ed-bf1e-a57b2b18165f?embed=true&_g=(filters%3A!()%2CrefreshInterval%3A(pause%3A!t%2Cvalue%3A0)%2Ctime%3A(from%3Anow-24h%2Fh%2Cto%3Anow))&hide-filter-bar=true")
-  sleep(60)
-  browser.get_screenshot_as_file("html/ressources/stats/sys_storage.png")
-
   browser.set_window_size(3000, 285)
 
   browser.get("https://mon.gnous.fr/app/dashboards#/view/813e0b00-8544-11ec-876e-0f6254f8a3d0?embed=true&_g=(filters%3A!()%2CrefreshInterval%3A(pause%3A!t%2Cvalue%3A0)%2Ctime%3A(from%3Anow-15m%2Cto%3Anow))&hide-filter-bar=true")