From daf3f9b8e88d6114bd4d8f5e9f34b1ebc0a06c69 Mon Sep 17 00:00:00 2001 From: "Michael - piratica.eu" Date: Sat, 26 Jan 2013 00:22:46 +0100 Subject: [PATCH] rendertime: New plugin to show the time that was needed to render a page --- rendertime/rendertime.php | 35 +++++++++++++++++++++++++++++++++++ 1 file changed, 35 insertions(+) create mode 100755 rendertime/rendertime.php diff --git a/rendertime/rendertime.php b/rendertime/rendertime.php new file mode 100755 index 000000000..87a329019 --- /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)."
"; +}