Changement du rangement des logos et #DATE_MODIF

Cf https://discuter.spip.net/t/155347

Lors d'une migration à SPIP 4, il semble que le changement du dossier de rangement des logos provoque une actualisation de la #DATE_MODIF des objets concernés. Comme dit rastapopoulos, il semble impossible de corriger le problème sur les sites ayant déjà migré (?) mais il est certainement possible d'empêcher qu'il se produise sur les sites qui n'ont pas encore fait leur migration.

Pour voir les dates modifs : SELECT DATE_FORMAT(date_modif, "%Y %m %d") AS LADATE, count(*) as c FROM spip_articles group by LADATE ORDER BY c DESC

"Chez moi", ayant fait la mise à jour à ne sais quelle date exactement, il y a actuellement un millier environ de #DATE_MODIF qui ont la même valeur de jour, "2019-09-26". Avec SELECT id_article, date_modif, titre FROM spip_articles where DATE_FORMAT(date_modif, "%Y %m %d") = "2019 09 26" ORDER BY spip_articles.date_modifDESC je vois que les horaires des date_modif sont répartis sur 1 minute 30, entre "17:55:54" et "17:57:20". Les autres dates (à peu près autant) se répartissent entre la création du site bien longtemps avant, et aujourd'hui. Les articles dont la date_modif a été actualisée sont en particulier les premiers créés (petit id_article). Je fais l'hypothèse qu'il y a eu un timeout (max_execution_time = 180s) qui a empêché la mise à jour des #DATE_MODIF des autres articles. Je me souviens en effet qu'il y avait eu des symptomes inquiétants lors de la mise à jour, mais j'ai oublié lesquels car tout s'était bien passé à peu près tout seul au final. Mon site n'a d'ailleurs pas été perturbé, probablement car il n'a pas l'usage des #DATE_MODIF.