+// Regexp synthetisant un titre a partir d'un nom de fichier.
+// Exemple: squelette-de-Mozart-vers-5-ans.jpg => squelette de Mozart vers 5 ans
+define('_REGEXP_TITRER_DOCUMENT', ',[[:punct:][:space:]]+,u');
+
+function corriger_extension_et_nom($nom, $titrer=false)
+{
+ preg_match(",^(.*)\.([^.]+)$,", $nom, $match);
+ @list(,$titre,$ext) = $match;
+ // les navigateur devraient savoir que ceci est mime-type text
+ if (!$ext AND (strtolower($nom) === 'makefile'))
+ $ext = 'txt';
+ // securite : pas de . en dehors de celui separant l'extension
+ // sinon il est possible d'injecter du php dans un toto.php.txt
+ else $nom = str_replace('.','-',$titre).'.'.$ext;
+
+ if ($titrer) {
+ $titre = is_string($titre) ? $titre : preg_replace("%".$titre."%", ' ', $titre ? $titre : $nom);
+ } else $titre = '';
+ $ext = corriger_extension(strtolower($ext));
+ $row = sql_fetsel("inclus", "spip_types_documents", "extension=" . sql_quote($ext) . " AND upload='oui'");
+ return array($nom, $ext, $titre, $row ? $row['inclus'] : false);
+}
+