Rendertime: Show the value for session creation

diff --git a/rendertime/rendertime.php b/rendertime/rendertime.php
index 1f45bc2d0477b31c41b8d650b4c765d3c0002d61..548775a1077d421ac0d064a27ddf7dcbd1496b1f 100755 (executable)
--- a/rendertime/rendertime.php
+++ b/rendertime/rendertime.php
@@ -27,11 +27,11 @@ function rendertime_page_end(&$a, &$o) {
        $duration = microtime(true)-$a->performance["start"];
 
        if (is_site_admin() AND ($_GET["mode"] != "minimal") AND !$a->is_mobile AND !$a->is_tablet) {
-               $o = $o.'<div class="renderinfo">'.sprintf(t("Database: %s, Network: %s, Rendering: %s, I/O: %s, Other: %s, Total: %s"),
+               $o = $o.'<div class="renderinfo">'.sprintf(t("Database: %s, Network: %s, Rendering: %s, Session: %s, I/O: %s, Other: %s, Total: %s"),
                                                round($a->performance["database"], 3),
                                                round($a->performance["network"], 3),
                                                round($a->performance["rendering"], 3),
-                                               // round($a->performance["parser"], 3), // Not used anymore
+                                               round($a->performance["parser"], 3),
                                                round($a->performance["file"], 3),
                                                round($duration - $a->performance["database"] - $a->performance["network"]
                                                         - $a->performance["rendering"] - $a->performance["parser"]