4 Copyright
2005 Kate Turner
.
6 Permission is hereby granted
, free of charge
, to any person obtaining a copy
7 of this software
and associated documentation
files (the
"Software"), to deal
8 in the Software without restriction
, including without limitation the rights
9 to
use, copy
, modify
, merge
, publish
, distribute
, sublicense
, and/or sell
10 copies of the Software
, and to permit persons to whom the Software is
11 furnished to
do so
, subject to the following conditions
:
13 The above copyright notice
and this permission notice shall be included in
14 all copies
or substantial portions of the Software
.
16 THE SOFTWARE IS PROVIDED
"AS IS", WITHOUT WARRANTY OF ANY KIND
, EXPRESS
OR
17 IMPLIED
, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY
,
18 FITNESS
FOR A PARTICULAR PURPOSE
AND NONINFRINGEMENT
. IN NO EVENT SHALL THE
19 AUTHORS
OR COPYRIGHT HOLDERS BE LIABLE
FOR ANY CLAIM
, DAMAGES
OR OTHER
20 LIABILITY
, WHETHER IN AN ACTION OF CONTRACT
, TORT
OR OTHERWISE
, ARISING FROM
,
21 OUT OF
OR IN CONNECTION WITH THE SOFTWARE
OR THE
USE OR OTHER DEALINGS IN THE
27 <title
>Profiling data
</title
>
28 <style type
="text/css">
31 border
-bottom
: solid
1px black
;
47 $wgDBadminuser = $wgDBadminpassword = $wgDBserver = $wgDBname = $wgEnableProfileInfo = false;
49 define( 'MW_NO_SETUP', 1 );
50 require_once( './includes/WebStart.php' );
51 require_once("./AdminSettings.php");
53 if (!$wgEnableProfileInfo) {
57 foreach (array("wgDBadminuser", "wgDBadminpassword", "wgDBserver", "wgDBname") as $var)
59 wfDie("AdminSettings.php not correct");
62 if (isset($_REQUEST['expand']))
63 foreach(explode(",", $_REQUEST['expand']) as $f)
72 function profile_point($name, $count, $time) {
74 $this->count
= $count;
76 $this->children
= array();
79 function add_child($child) {
80 $this->children
[] = $child;
83 function display($indent = 0.0) {
85 usort($this->children
, "compare_point");
88 if (isset($expand[$this->name()]))
92 if (count($this->children
)) {
93 $url = makeurl(false, false, $expand +
array($this->name() => true));
94 $extet = " <a href=\"$url\">[+]</a>";
98 foreach ($expand as $name => $ep)
99 if ($name != $this->name())
100 $e +
= array($name => $ep);
102 $extet = " <a href=\"" . makeurl(false, false, $e) . "\">[–]</a>";
106 <td
class="time"><tt
><?php
echo $this->fmttime() ?
></tt
></td
>
107 <td
class="count"><?php
echo $this->count() ?
></td
>
108 <td
class="name" style
="padding-left: <?php echo $indent ?>em">
109 <?php
echo htmlspecialchars($this->name()) . $extet ?
>
114 foreach ($this->children
as $child)
115 $child->display($indent +
2);
131 return sprintf("%5.02f", $this->time
);
135 function compare_point($a, $b) {
139 return strcmp($a->name(), $b->name());
141 return $a->time() > $b->time() ?
-1 : 1;
143 return $a->count() > $b->count() ?
-1 : 1;
147 $sorts = array("time", "count", "name");
149 if (isset($_REQUEST['sort']) && in_array($_REQUEST['sort'], $sorts))
150 $sort = $_REQUEST['sort'];
152 $dbh = mysql_connect($wgDBserver, $wgDBadminuser, $wgDBadminpassword)
153 or wfDie("mysql server failed: " . mysql_error());
154 mysql_select_db($wgDBname, $dbh) or wfDie(mysql_error($dbh));
156 SELECT pf_count, pf_time, pf_name
159 ", $dbh) or wfDie("query failed: " . mysql_error());
161 if (isset($_REQUEST['filter']))
162 $filter = $_REQUEST['filter'];
166 <form method
="profiling.php">
168 <input type
="text" name
="filter" value
="<?php echo htmlspecialchars($filter)?>"/>
169 <input type
="hidden" name
="sort" value
="<?php echo htmlspecialchars($sort)?>"/>
170 <input type
="hidden" name
="expand" value
="<?php echo htmlspecialchars(implode(",", array_keys($expand)))?>"/>
171 <input type
="submit" value
="Filter" />
175 <table cellspacing
="0">
177 <th
><a href
="<?php echo makeurl(false, "time
") ?>">Time
</a
></th
>
178 <th
><a href
="<?php echo makeurl(false, "count
") ?>">Count
</a
></th
>
179 <th
><a href
="<?php echo makeurl(false, "name
") ?>">Name
</a
></th
>
184 function makeurl($_filter = false, $_sort = false, $_expand = false) {
185 global $filter, $sort, $expand;
187 if ($_expand === false)
190 $nfilter = $_filter ?
$_filter : $filter;
191 $nsort = $_sort ?
$_sort : $sort;
192 $exp = urlencode(implode(',', array_keys($_expand)));
193 return "?filter=$nfilter&sort=$nsort&expand=$exp";
201 while (($o = mysql_fetch_object($res)) !== false) {
202 $next = new profile_point($o->pf_name
, $o->pf_count
, $o->pf_time
);
203 $totaltime +
= $next->time();
204 if ($last !== false) {
205 if (preg_match("/^".preg_quote($last->name(), "/")."/", $next->name())) {
206 $last->add_child($next);
211 if (preg_match("/^query: /", $next->name())) {
212 $sqltotal +
= $next->time();
219 $s = new profile_point("SQL Queries", 0, $sqltotal);
220 foreach ($queries as $q)
224 usort($points, "compare_point");
226 foreach ($points as $point) {
227 if (strlen($filter) && !strstr($point->name(), $filter))
235 <p
>Total time
: <tt
><?php
printf("%5.02f", $totaltime) ?
></p
>
238 mysql_free_result($res);