From daf3f9b8e88d6114bd4d8f5e9f34b1ebc0a06c69 Mon Sep 17 00:00:00 2001
From: "Michael - piratica.eu" <ike@piratenpartei.de>
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 @@
+<?php
+
+
+/**
+ * Name: rendertime
+ * Description: Shows the time that was needed to render the current page
+ * Version: 0.1
+ * Author: Michael Vvogel <http://pirati.ca/profile/heluecht>
+ *
+ */
+
+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.'<div class="renderinfo">'.sprintf(t("This page took %s seconds to render"), $duration)."</div>";
+}