Changeset 93113 in spip-zone


Ignore:
Timestamp:
Nov 23, 2015, 9:32:19 PM (5 years ago)
Author:
nicolas.dorigny@…
Message:

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

Location:
_core_/plugins/dev
Files:
2 edited

Legend:

Unmodified
Added
Removed

  • _core_/plugins/dev/dev_options.php

    r91042 r93113  
    2222                chdir(_ROOT_CWD); // precaution
    2323                echo "<div style='position:fixed;top:0;left:0;color:#fff;background:#666;padding:5px;z-index:1010;'>";
    24                 echo round(memory_get_usage() / 1024 / 1024, 1) . ' Mo';
     24                echo number_format(memory_get_usage() / 1024 / 1024, 1) . ' Mo';
    2525                foreach ($GLOBALS['connexions'] as $serveur => $connexion) {
    2626                        if (isset($connexion['total_requetes'])) {

  • _core_/plugins/dev/paquet.xml

    r91040 r93113  
    22        prefix="dev"
    33        categorie="outil"
    4         version="0.4.2"
     4        version="0.4.3"
    55        etat="stable"
    66        compatibilite="[3.0.0;3.1.*]"
Note: See TracChangeset for help on using the changeset viewer.