déplacer la fonction corriger_extension() dans SPIP

https://git.spip.net/spip/medias/src/commit/29e35b30d73ba11808f18e7d5d56704bf233fdd8/action/ajouter_documents.php#L333

Cette fonction est appelée dans SPIP et dans le plugin bigup avec un test du type

if (function_existts('corriger_extension')) {
	$ext = corriger_extension($ext);
}

elle a plus sa place dans https://git.spip.net/spip/spip/src/branch/master/ecrire/inc/documents.php par exemple