show page generation time

darcs-hash:20060324032426-05dcb-cca609254cfef5b583510b86904f1656dea98fc7.gz

inc/init.php

@@ -3,6 +3,13 @@
  * Initialize some defaults needed for DokuWiki
  */
 
+  // start timing Dokuwiki execution
+  function delta_time($start=0) {
+    list($usec, $sec) = explode(" ", microtime());
+    return ((float)$usec+(float)$sec)-((float)$start);
+  }
+  define('DOKU_START_TIME', delta_time());
+
   // define the include path
   if(!defined('DOKU_INC')) define('DOKU_INC',realpath(dirname(__FILE__).'/../').'/');
 

lib/tpl/default/footer.html

@@ -55,4 +55,11 @@ $tgt = ($conf['target']['extern']) ? 'target="'.$conf['target']['extern'].'"' :
 </rdf:RDF>
 
 -->
+
+<?php
+if ($conf['allowdebug']) {
+    echo '<!-- page made in '.round(delta_time(DOKU_START_TIME), 3).' seconds -->';
+}
+?>
+
 </div>