From d0ee343b45e902cbb8aee39ce3bf102c9f8c207b Mon Sep 17 00:00:00 2001
From: thopic <thopic@gnous.fr>
Date: Tue, 4 Jul 2023 17:06:20 +0200
Subject: [PATCH 1/2] Use last commit date instead of unix mtime

* simplify last website mtime script
* link appropriate commit to last mtime
---
 html/includes/mtime.php |  7 +++----
 html/index.php          | 15 ++++++---------
 2 files changed, 9 insertions(+), 13 deletions(-)
diff --git a/html/includes/mtime.php b/html/includes/mtime.php
index 55cd20b..99706f6 100644
--- a/html/includes/mtime.php
+++ b/html/includes/mtime.php
@@ -1,6 +1,5 @@
 <?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:%cr" '.$this_file);
 ?>
-<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;">Dernière mise à jour <a href="https://git.gnous.fr/gnous/main_website/commit/<?php echo $last_rev;?>" target="_blank"><?php echo $mtime; ?></a></p>
diff --git a/html/index.php b/html/index.php
index 2c0ee97..64a9469 100644
--- a/html/index.php
+++ b/html/index.php
@@ -1,26 +1,23 @@
 <?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_this_file = exec('git log -1 --pretty="format:%ct" '.$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
+  $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
+  $mtime_max = date("d M Y H:i:s", $mtime_max);	//formatage de la date retenue
 ?>
 
 <!DOCTYPE HTML>
@@ -34,7 +31,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 strftime("%d %B %Y à %H:%M:%S UTC%z", strtotime($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;">
-- 
2.45.2


From 95a18a949a04f63792b476123c2f2da821bd0c3b Mon Sep 17 00:00:00 2001
From: thopic <thopic@gnous.fr>
Date: Wed, 12 Jul 2023 16:40:59 +0200
Subject: [PATCH 2/2] 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
---
 html/includes/mtime.php | 12 ++++++++++--
 html/index.php          | 17 +++++++++++------
 2 files changed, 21 insertions(+), 8 deletions(-)

diff --git a/html/includes/mtime.php b/html/includes/mtime.php
index 99706f6..fac409b 100644
--- a/html/includes/mtime.php
+++ b/html/includes/mtime.php
@@ -1,5 +1,13 @@
 <?php
   $last_rev = exec('git log -1 --pretty=format:"%H" '.$this_file);
-  $mtime = exec('LANG="fr_FR.UTF-8" git log -1 --pretty="format:%cr" '.$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;">Dernière mise à jour <a href="https://git.gnous.fr/gnous/main_website/commit/<?php echo $last_rev;?>" target="_blank"><?php echo $mtime; ?></a></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>
diff --git a/html/index.php b/html/index.php
index 64a9469..c8993c2 100644
--- a/html/index.php
+++ b/html/index.php
@@ -1,13 +1,10 @@
 <?php
   $this_file = basename($_SERVER["SCRIPT_FILENAME"]); //contient le nom de ce fichier (lui-même)
-  setlocale (LC_TIME, 'fr_FR.utf8','fra');
 
   /*
   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 = exec('git log -1 --pretty="format:%ct" '.$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)
@@ -17,7 +14,15 @@
       $last_rev = exec('git log -1 --pretty=format:"%H" '.$filename); //récupération du hash du commit associé
     }
   }
-  $mtime_max = date("d M Y H:i:s", $mtime_max);	//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>
@@ -31,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_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>
+        <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;">
-- 
2.45.2

