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
;
39 td
.time
, td
.timep
, td
.count
, td
.cpr
{
47 $wgDBadminuser = $wgDBadminpassword = $wgDBserver = $wgDBname = $wgEnableProfileInfo = false;
49 define( 'MW_NO_SETUP', 1 );
50 require_once( './includes/WebStart.php' );
51 require_once("./AdminSettings.php");
52 require_once( './includes/GlobalFunctions.php' );
54 if (!$wgEnableProfileInfo) {
59 foreach (array("wgDBadminuser", "wgDBadminpassword", "wgDBserver", "wgDBname") as $var)
60 if ($
$var === false) {
61 echo "AdminSettings.php not correct\n";
67 if (isset($_REQUEST['expand']))
68 foreach(explode(",", $_REQUEST['expand']) as $f)
77 function profile_point($name, $count, $time) {
79 $this->count
= $count;
81 $this->children
= array();
84 function add_child($child) {
85 $this->children
[] = $child;
88 function display($indent = 0.0) {
89 global $expand, $totaltime, $totalcount;
90 usort($this->children
, "compare_point");
93 if (isset($expand[$this->name()]))
97 if (count($this->children
)) {
98 $url = makeurl(false, false, $expand +
array($this->name() => true));
99 $extet = " <a href=\"$url\">[+]</a>";
103 foreach ($expand as $name => $ep)
104 if ($name != $this->name())
105 $e +
= array($name => $ep);
107 $extet = " <a href=\"" . makeurl(false, false, $e) . "\">[–]</a>";
111 <td
class="time"><tt
><?php
echo $this->fmttime() ?
></tt
></td
>
112 <td
class="timep"><?php
echo wfPercent( $this->time() / $totaltime * 100 ) ?
></td
>
113 <td
class="count"><?php
echo $this->count() ?
></td
>
114 <td
class="cpr"><?php
echo round( sprintf( '%.2f',$this->count() / $totalcount ), 2 ) ?
>
115 <td
class="name" style
="padding-left: <?php echo $indent ?>em">
116 <?php
echo htmlspecialchars($this->name()) . $extet ?
>
121 foreach ($this->children
as $child)
122 $child->display($indent +
2);
138 return sprintf("%5.02f", $this->time
);
142 function compare_point($a, $b) {
146 return strcmp($a->name(), $b->name());
148 return $a->time() > $b->time() ?
-1 : 1;
150 return $a->count() > $b->count() ?
-1 : 1;
154 $sorts = array("time", "count", "name");
156 if (isset($_REQUEST['sort']) && in_array($_REQUEST['sort'], $sorts))
157 $sort = $_REQUEST['sort'];
159 $dbh = mysql_connect($wgDBserver, $wgDBadminuser, $wgDBadminpassword)
160 or die("mysql server failed: " . mysql_error());
161 mysql_select_db($wgDBname, $dbh) or die(mysql_error($dbh));
163 SELECT pf_count, pf_time, pf_name
166 ", $dbh) or die("query failed: " . mysql_error());
168 if (isset($_REQUEST['filter']))
169 $filter = $_REQUEST['filter'];
173 <form method
="profiling.php">
175 <input type
="text" name
="filter" value
="<?php echo htmlspecialchars($filter)?>"/>
176 <input type
="hidden" name
="sort" value
="<?php echo htmlspecialchars($sort)?>"/>
177 <input type
="hidden" name
="expand" value
="<?php echo htmlspecialchars(implode(",", array_keys($expand)))?>"/>
178 <input type
="submit" value
="Filter" />
182 <table cellspacing
="0">
184 <th
><a href
="<?php echo makeurl(false, "time
") ?>">Time
</a
></th
>
186 <th
><a href
="<?php echo makeurl(false, "count
") ?>">Count
</a
></th
>
187 <th
>Avg calls per request
</th
>
188 <th
><a href
="<?php echo makeurl(false, "name
") ?>">Name
</a
></th
>
194 function makeurl($_filter = false, $_sort = false, $_expand = false) {
195 global $filter, $sort, $expand;
197 if ($_expand === false)
200 $nfilter = $_filter ?
$_filter : $filter;
201 $nsort = $_sort ?
$_sort : $sort;
202 $exp = urlencode(implode(',', array_keys($_expand)));
203 return "?filter=$nfilter&sort=$nsort&expand=$exp";
211 while (($o = mysql_fetch_object($res)) !== false) {
212 $next = new profile_point($o->pf_name
, $o->pf_count
, $o->pf_time
);
213 if( $next->name() == '-total' ) {
214 $totaltime = $next->time();
215 $totalcount = $next->count();
217 if ($last !== false) {
218 if (preg_match("/^".preg_quote($last->name(), "/")."/", $next->name())) {
219 $last->add_child($next);
224 if (preg_match("/^query: /", $next->name())) {
225 $sqltotal +
= $next->time();
232 $s = new profile_point("SQL Queries", 0, $sqltotal);
233 foreach ($queries as $q)
237 usort($points, "compare_point");
239 foreach ($points as $point) {
240 if (strlen($filter) && !strstr($point->name(), $filter))
248 <p
>Total time
: <tt
><?php
printf("%5.02f", $totaltime) ?
></p
>
251 mysql_free_result($res);