Changeset 108015 in spip-zone


Ignore:
Timestamp:
Dec 12, 2017, 12:25:23 PM (16 months ago)
Author:
marcimat@…
Message:

Ticket #4060 : nettoyage de code < PHP 5.4

File:
1 edited

Legend:

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

    r105224 r108015  
    2929                        }
    3030                }
    31                 if (version_compare(PHP_VERSION, '5.4.0') >= 0) {
    32                         echo " | " . number_format((microtime(true) - $_SERVER["REQUEST_TIME_FLOAT"]), 2) . " s";
    33                 } else if (isset($GLOBALS['page_start_time'])) {
    34                         // définir $GLOBALS['page_start_time'] = microtime(true); le plus tôt possible (dans mes_options)
    35                         // pour afficher le temps de calcul de la page
    36                         echo " | " . number_format((microtime(true) - $GLOBALS['page_start_time']), 2) . " s";
    37                 }
     31                echo " | " . number_format((microtime(true) - $_SERVER["REQUEST_TIME_FLOAT"]), 2) . " s";
    3832                echo "</div>";
    3933                if (isset($GLOBALS['_debug'])) {
Note: See TracChangeset for help on using the changeset viewer.