Problème d'arrondi et donc d'affichage quand un ini_set('precision') >= 16 est utilisé (c'est le cas avec adminer).

dev_options.php

@@ -21,7 +21,7 @@ function affiche_usage_memoire(){
 	) {
 		chdir(_ROOT_CWD); // precaution
 		echo "<div style='position:fixed;top:0;left:0;color:#fff;background:#666;padding:5px;z-index:1010;'>";
-		echo round(memory_get_usage() / 1024 / 1024, 1) . ' Mo';
+		echo number_format(memory_get_usage() / 1024 / 1024, 1) . ' Mo';
 		foreach ($GLOBALS['connexions'] as $serveur => $connexion) {
 			if (isset($connexion['total_requetes'])) {
 				echo " | " . ($serveur ? $serveur . " : " : "") . $connexion['total_requetes'] . " requetes";

paquet.xml

@@ -1,7 +1,7 @@
 <paquet
 	prefix="dev"
 	categorie="outil"
-	version="0.4.2"
+	version="0.4.3"
 	etat="stable"
 	compatibilite="[3.0.0;3.1.*]"
 	logo="dev-32.png"