Faut pas exporter les outils d'export

ecrire/exec_export.php

@@ -30,10 +30,6 @@ function mysql_timestamp_to_time($maj)
 	return mktime ($t_h, $t_min, $t_sec, $t_mois, $t_jour, $t_an, 0);
 }
 
-// Conversion texte -> xml (ajout d'entites)
-function text_to_xml($string) {
-	return str_replace('<', '&lt;', str_replace('&', '&amp;', $string));
-}
 
 
 // Liste un sommaire d'objets de n'importe quel type

ecrire/exec_export_all.php

@@ -286,4 +286,9 @@ function build_end_tag($tag) {
 	return "</$tag>";
 }
 
+// Conversion texte -> xml (ajout d'entites)
+function text_to_xml($string) {
+	return str_replace('<', '&lt;', str_replace('&', '&amp;', $string));
+}
+
 ?>