Erreur d'arrondi dans le numero de la base, qui empechait la mise a jour. Ne...

Erreur d'arrondi dans le numero de la base, qui empechait la mise a jour. Ne plus appeler maj_version qu'avec une chaine dorénavant (complet hasard que ce bug ne soit pas remonté plus tot).

ecrire/base/upgrade.php

@@ -1210,7 +1210,7 @@ function maj_base($version_cible = 0) {
 
 	if (upgrade_vers(1.919, $version_installee, $version_cible)) {
 		spip_query("ALTER TABLE spip_ajax_fonc DROP id_auteur");
-		maj_version(1.919);
+		maj_version('1.919');
 	}
 
 }

ecrire/index.php

@@ -170,7 +170,7 @@ define('_TRANCHES', 10);
 // Controle de la version, sauf si on est deja en train de s'en occuper
 if (!isset($reinstall)
 AND (!isset($var_ajaxcharset))
-AND ($GLOBALS['spip_version'] <> ((double) str_replace(',','.',$GLOBALS['meta']['version_installee']))))
+AND ($GLOBALS['spip_version'] != (str_replace(',','.',$GLOBALS['meta']['version_installee']))))
 	$exec = 'demande_mise_a_jour';
 
 // Si interruption d'une longue restauration