spiffy script to display profiling info on the interweb
This commit is contained in:
River Tarnell
parent
054ef12f51
commit
9af3c09e5c
2 changed files with 238 additions and 0 deletions
|
|
@ -23,4 +23,9 @@
|
|||
$wgDBadminuser = 'wikiadmin';
|
||||
$wgDBadminpassword = 'adminpass';
|
||||
|
||||
/*
|
||||
* Whether to enable the profileinfo.php script.
|
||||
*/
|
||||
$wgEnableProfileInfo = false;
|
||||
|
||||
?>
|
||||
|
|
|
|||
233
profileinfo.php
Normal file
233
profileinfo.php
Normal file
|
|
@ -0,0 +1,233 @@
|
|||
<!--
|
||||
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.
|
||||
|
||||
$Id$
|
||||
-->
|
||||
<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 = false;
|
||||
|
||||
define("MEDIAWIKI", 1);
|
||||
|
||||
require_once("./includes/Defines.php");
|
||||
require_once("./LocalSettings.php");
|
||||
require_once("./AdminSettings.php");
|
||||
|
||||
if (!$wgEnableProfileInfo)
|
||||
die("disabled");
|
||||
|
||||
foreach (array("wgDBadminuser", "wgDBadminpassword", "wgDBserver", "wgDBname") as $var)
|
||||
if ($$var === false)
|
||||
die("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) . "\">[–]</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 die("mysql server failed: " . mysql_error());
|
||||
mysql_select_db($wgDBname, $dbh) or die(mysql_error($dbh));
|
||||
$res = mysql_query("
|
||||
SELECT pf_count, pf_time, pf_name
|
||||
FROM profiling
|
||||
ORDER BY pf_name ASC
|
||||
", $dbh) or die("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&sort=$nsort&expand=$exp";
|
||||
}
|
||||
|
||||
$points = array();
|
||||
|
||||
$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;
|
||||
$points[] = $next;
|
||||
}
|
||||
|
||||
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:
|
||||
Loading…
Reference in a new issue