Par Jacques Pyrat, le 10 juillet 2021 à 11h27min :
Derniers ajustement pour SPIP 4.0 Suppression d’un fichier inutilement surchargé
Modifié historique_spip32_documents_options.php paquet.xml
Détails : https://git.spip.net/spip-contrib-extensions/historique_spip32_documents/commit/3ff9ee004a4c3d8b6974ec4bd3a0888a8b9eb09e