[mirror] fix : eviter un deprecated en PHP 8.5 fix #11

[SPIP-contrib]

Jack31/mirror

Par Jack31, le 12 juillet 2026 à 21h13min :

fix: eviter un deprecated en PHP 8.5
fix #11

Modifié
mirror.php

Détails : fix: eviter un deprecated en PHP 8.5 (0b2dff49) · Validations · Jack31 / mirror · GitLab