[spip ↪ issue_4960] déplacer corriger_extension() du plugin medias vers (...)

spip/spip

Par b_b, le 17 décembre 2021 à 19h30min :

déplacer corriger_extension() du plugin medias vers inc/documents du core

ref spip/medias#4853

Modifié
ecrire/inc/distant.php
ecrire/inc/documents.php
prive/formulaires/configurer_ecran_connexion.php

Détails : déplacer corriger_extension() du plugin medias vers inc/documents du core · ffd7d6ffc9 - spip - SPIP on GIT