reporter medias_maj_meta_documents à v. 0.14 pour exécution après mise à jour...

reporter medias_maj_meta_documents à v. 0.14 pour exécution après mise à jour depuis plugin mediatheque up to date (et qui propose une v. 0.12)

medias_administrations.php

@@ -81,13 +81,8 @@ function medias_upgrade($nom_meta_base_version,$version_cible){
 	$maj['0.11.0'] = array(
 		array('sql_alter',"TABLE spip_documents CHANGE mode mode varchar(10) DEFAULT 'document' NOT NULL"),
 	);
-	$maj['0.11.0'] = array(
-		array('sql_alter',"TABLE spip_documents CHANGE mode mode varchar(10) DEFAULT 'document' NOT NULL"),
-	);
-	$maj['0.12.0'] = array(
-		array('medias_maj_meta_documents'),
-	);
 	$maj['0.14.0'] = array(
+		array('medias_maj_meta_documents'),
 		array('creer_base_types_doc','','media'),
 	);
 	$maj['0.15.0'] = array(