MediaWiki 1.7.1 wiederhergestellt

author: Pierre Schmitz <pierre@archlinux.de> 2006-10-11 18:12:39 +0000
committer: Pierre Schmitz <pierre@archlinux.de> 2006-10-11 18:12:39 +0000
commit: 183851b06bd6c52f3cae5375f433da720d410447 (patch)
tree: a477257decbf3360127f6739c2f9d0ec57a03d39 /profileinfo.php
1 files changed, 249 insertions, 0 deletions
diff --git a/profileinfo.php b/profileinfo.php
new file mode 100644
index 00000000..52658fb4
--- /dev/null
+++ b/profileinfo.php
@@ -0,0 +1,249 @@
+<!--
+     Show profiling data.
+
+     Copyright 2005 Kate Turner.
+
+     Permission is hereby granted, free of charge, to any person obtaining a copy
+     of this software and associated documentation files (the "Software"), to deal
+     in the Software without restriction, including without limitation the rights
+     to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+     copies of the Software, and to permit persons to whom the Software is
+     furnished to do so, subject to the following conditions:
+
+     The above copyright notice and this permission notice shall be included in
+     all copies or substantial portions of the Software.
+
+     THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+     IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+     FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+     AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+     LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+     OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+     SOFTWARE.
+
+-->
+<html>
+<head>
+<title>Profiling data</title>
+<style type="text/css">
+	th {
+		text-align: left;
+		border-bottom: solid 1px black;
+	}
+
+	th, td {
+		padding-left: 0.5em;
+		padding-right: 0.5em;
+	}
+
+	td.time, td.count {
+		text-align: right;
+	}
+</style>
+</head>
+<body>
+<?php
+
+$wgDBadminuser = $wgDBadminpassword = $wgDBserver = $wgDBname = $wgEnableProfileInfo = false;
+
+define("MEDIAWIKI", 1);
+if ( isset( $_REQUEST['GLOBALS'] ) ) {
+	echo '<a href="http://www.hardened-php.net/index.76.html">$GLOBALS overwrite vulnerability</a>';
+	die( -1 );
+}
+
+require_once("./includes/Defines.php");
+require_once("./LocalSettings.php");
+require_once("./AdminSettings.php");
+
+if (!$wgEnableProfileInfo) {
+	wfDie("disabled");
+}
+
+foreach (array("wgDBadminuser", "wgDBadminpassword", "wgDBserver", "wgDBname") as $var)
+	if ($$var === false)
+		wfDie("AdminSettings.php not correct");
+
+$expand = array();
+if (isset($_REQUEST['expand']))
+	foreach(explode(",", $_REQUEST['expand']) as $f)
+		$expand[$f] = true;
+
+class profile_point {
+	var $name;
+	var $count;
+	var $time;
+	var $children;
+
+	function profile_point($name, $count, $time) {
+		$this->name = $name;
+		$this->count = $count;
+		$this->time = $time;
+		$this->children = array();
+	}
+
+	function add_child($child) {
+		$this->children[] = $child;
+	}
+
+	function display($indent = 0.0) {
+		global $expand;
+		usort($this->children, "compare_point");
+
+		$extet = '';
+		if (isset($expand[$this->name()]))
+			$ex = true;
+		else	$ex = false;
+		if (!$ex) {
+			if (count($this->children)) {
+				$url = makeurl(false, false, $expand + array($this->name() => true));
+				$extet = " <a href=\"$url\">[+]</a>";
+			} else $extet = '';
+		} else {
+			$e = array();
+			foreach ($expand as $name => $ep)
+				if ($name != $this->name())
+					$e += array($name => $ep);
+
+			$extet = " <a href=\"" . makeurl(false, false, $e) . "\">[&ndash;]</a>";
+		}
+		?>
+		<tr>
+		<td class="time"><tt><?php echo $this->fmttime() ?></tt></td>
+		<td class="count"><?php echo $this->count() ?></td>
+		<td class="name" style="padding-left: <?php echo $indent ?>em">
+			<?php echo htmlspecialchars($this->name()) . $extet ?>
+		</td>
+		</tr>
+		<?php
+		if ($ex)
+			foreach ($this->children as $child)
+				$child->display($indent + 2);
+	}
+
+	function name() {
+		return $this->name;
+	}
+
+	function count() {
+		return $this->count;
+	}
+
+	function time() {
+		return $this->time;
+	}
+
+	function fmttime() {
+		return sprintf("%5.02f", $this->time);
+	}
+};
+
+function compare_point($a, $b) {
+	global $sort;
+	switch ($sort) {
+	case "name":
+		return strcmp($a->name(), $b->name());
+	case "time":
+		return $a->time() > $b->time() ? -1 : 1;
+	case "count":
+		return $a->count() > $b->count() ? -1 : 1;
+	}
+}
+
+$sorts = array("time", "count", "name");
+$sort = 'time';
+if (isset($_REQUEST['sort']) && in_array($_REQUEST['sort'], $sorts))
+	$sort = $_REQUEST['sort'];
+
+$dbh = mysql_connect($wgDBserver, $wgDBadminuser, $wgDBadminpassword)
+	or wfDie("mysql server failed: " . mysql_error());
+mysql_select_db($wgDBname, $dbh) or wfDie(mysql_error($dbh));
+$res = mysql_query("
+	SELECT pf_count, pf_time, pf_name
+	FROM profiling
+	ORDER BY pf_name ASC
+", $dbh) or wfDie("query failed: " . mysql_error());
+
+if (isset($_REQUEST['filter']))
+	$filter = $_REQUEST['filter'];
+else	$filter = '';
+
+?>
+<form method="profiling.php">
+<p>
+<input type="text" name="filter" value="<?php echo htmlspecialchars($filter)?>"/>
+<input type="hidden" name="sort" value="<?php echo htmlspecialchars($sort)?>"/>
+<input type="hidden" name="expand" value="<?php echo htmlspecialchars(implode(",", array_keys($expand)))?>"/>
+<input type="submit" value="Filter" />
+</p>
+</form>
+
+<table cellspacing="0">
+<tr id="top">
+<th><a href="<?php echo makeurl(false, "time") ?>">Time</a></th>
+<th><a href="<?php echo makeurl(false, "count") ?>">Count</a></th>
+<th><a href="<?php echo makeurl(false, "name") ?>">Name</a></th>
+</tr>
+<?php
+$totaltime = 0.0;
+
+function makeurl($_filter = false, $_sort = false, $_expand = false) {
+	global $filter, $sort, $expand;
+
+	if ($_expand === false)
+		$_expand = $expand;
+
+	$nfilter = $_filter ? $_filter : $filter;
+	$nsort = $_sort ? $_sort : $sort;
+	$exp = urlencode(implode(',', array_keys($_expand)));
+	return "?filter=$nfilter&amp;sort=$nsort&amp;expand=$exp";
+}
+
+$points = array();
+$queries = array();
+$sqltotal = 0.0;
+
+$last = false;
+while (($o = mysql_fetch_object($res)) !== false) {
+	$next = new profile_point($o->pf_name, $o->pf_count, $o->pf_time);
+	$totaltime += $next->time();
+	if ($last !== false) {
+		if (preg_match("/^".preg_quote($last->name(), "/")."/", $next->name())) {
+			$last->add_child($next);
+			continue;
+		}
+	}
+	$last = $next;
+	if (preg_match("/^query: /", $next->name())) {
+		$sqltotal += $next->time();
+		$queries[] = $next;
+	} else {
+		$points[] = $next;
+	}
+}
+
+$s = new profile_point("SQL Queries", 0, $sqltotal);
+foreach ($queries as $q)
+	$s->add_child($q);
+$points[] = $s;
+
+usort($points, "compare_point");
+
+foreach ($points as $point) {
+	if (strlen($filter) && !strstr($point->name(), $filter))
+		continue;
+
+	$point->display();
+}
+?>
+</table>
+
+<p>Total time: <tt><?php printf("%5.02f", $totaltime) ?></p>
+<?php
+
+mysql_free_result($res);
+mysql_close($dbh);
+
+?>
+</body>
+</html>
author	Pierre Schmitz <pierre@archlinux.de>	2006-10-11 18:12:39 +0000
committer	Pierre Schmitz <pierre@archlinux.de>	2006-10-11 18:12:39 +0000
commit	183851b06bd6c52f3cae5375f433da720d410447 (patch)
tree	a477257decbf3360127f6739c2f9d0ec57a03d39 /profileinfo.php