diff --git a/inc/init.php b/inc/init.php index ab7cab3b849f39e4459cb33f222b3752fcc92380..ab986b0d2b79a85551da2c70cc8b7bf018b59a6a 100644 --- a/inc/init.php +++ b/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__).'/../').'/'); diff --git a/lib/tpl/default/footer.html b/lib/tpl/default/footer.html index 6d146c54013d19f351c4777efcc16f973e073ccf..a3270d17a110bbbfbdee9d9a35b88aefcad49abd 100644 --- a/lib/tpl/default/footer.html +++ b/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>