Changeset 105223 in spip-zone


Ignore:
Timestamp:
Jul 7, 2017, 1:37:10 PM (2 years ago)
Author:
nicolas.dorigny@…
Message:

Le temps d'exécution peut être calculé automatiquement avec PHP 5.4.0 ($_SERVERREQUEST_TIME_FLOAT?)

Location:
_core_/plugins/dev
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • _core_/plugins/dev/dev_options.php

    r101172 r105223  
    2828                        }
    2929                }
    30                 // définir $GLOBALS['page_start_time'] = microtime(true); le plus tôt possible (dans mes_options)
    31                 // pour afficher le temps de calcul de la page
    32                 if (isset($GLOBALS['page_start_time'])) {
     30                if (version_compare(PHP_VERSION, '5.4.0') >= 0) {
     31                        echo " | " . number_format((microtime(true) - $_SERVER["REQUEST_TIME_FLOAT"]), 2) . " s";
     32                } else if (isset($GLOBALS['page_start_time'])) {
     33                        // définir $GLOBALS['page_start_time'] = microtime(true); le plus tôt possible (dans mes_options)
     34                        // pour afficher le temps de calcul de la page
    3335                        echo " | " . number_format((microtime(true) - $GLOBALS['page_start_time']), 2) . " s";
    3436                }
  • _core_/plugins/dev/paquet.xml

    r103326 r105223  
    22        prefix="dev"
    33        categorie="outil"
    4         version="0.5.4"
     4        version="0.5.5"
    55        etat="stable"
    66        compatibilite="[3.2.0-dev;3.2.*]"
Note: See TracChangeset for help on using the changeset viewer.