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

ref spip/medias#4853

ecrire/inc/distant.php

@@ -1055,7 +1055,7 @@ function distant_trouver_extension_selon_headers($source, $headers) {
 	}
 
 	// pour corriger_extension()
-	include_spip('action/ajouter_documents');
+	include_spip('inc/documents');
 
 	// Si on a un mime-type insignifiant
 	// text/plain,application/octet-stream ou vide

ecrire/inc/documents.php

@@ -337,3 +337,39 @@ function check_upload_error($error, $msg = '', $return = false) {
 	);
 	exit;
 }
+
+/**
+ * Corrige l'extension du fichier dans quelques cas particuliers
+ *
+ * @note
+ *     Une extension 'pdf ' passe dans la requête de contrôle
+ *     mysql> SELECT * FROM spip_types_documents WHERE extension="pdf ";
+ *
+ * @todo
+ *     À passer dans base/typedoc
+ *
+ * @param string $ext
+ * @return string
+ */
+function corriger_extension($ext) {
+	$ext = preg_replace(',[^a-z0-9],i', '', $ext);
+	switch ($ext) {
+		case 'htm':
+			$ext = 'html';
+			break;
+		case 'jpeg':
+			$ext = 'jpg';
+			break;
+		case 'tiff':
+			$ext = 'tif';
+			break;
+		case 'aif':
+			$ext = 'aiff';
+			break;
+		case 'mpeg':
+			$ext = 'mpg';
+			break;
+	}
+
+	return $ext;
+}
\ No newline at end of file

prive/formulaires/configurer_ecran_connexion.php

@@ -40,7 +40,7 @@ function formulaires_configurer_ecran_connexion_verifier_dist() {
 
 	elseif (!empty($_FILES['upload_image_fond_login'])) {
 		$file = $_FILES['upload_image_fond_login'];
-		include_spip('action/ajouter_documents');
+		include_spip('inc/documents');
 		$extension = pathinfo($file['name'], PATHINFO_EXTENSION);
 		$extension = corriger_extension(strtolower($extension));
 		if (!in_array($extension, ['jpg'])) {