diff --git a/rendertime/rendertime.php b/rendertime/rendertime.php new file mode 100755 index 00000000..87a32901 --- /dev/null +++ b/rendertime/rendertime.php @@ -0,0 +1,35 @@ + + * + */ + +function rendertime_install() { + register_hook('init_1', 'addon/rendertime/rendertime.php', 'rendertime_init_1'); + register_hook('page_end', 'addon/rendertime/rendertime.php', 'rendertime_page_end'); +} + + +function rendertime_uninstall() { + unregister_hook('init_1', 'addon/rendertime/rendertime.php', 'rendertime_init_1'); + unregister_hook('page_end', 'addon/rendertime/rendertime.php', 'rendertime_page_end'); +} + +function rendertime_init_1(&$a) { + global $rendertime_start; + + $rendertime_start = microtime(true); +} + +function rendertime_page_end(&$a, &$o) { + global $rendertime_start; + + $duration = round(microtime(true)-$rendertime_start, 3); + + $o = $o.'
'.sprintf(t("This page took %s seconds to render"), $duration)."
"; +}