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
28 <title
>Profiling data
</title
>
29 <style type
="text/css">
32 border
-bottom
: solid
1px black
;
48 $wgDBadminuser = $wgDBadminpassword = $wgDBserver = $wgDBname = $wgEnableProfileInfo = false;
50 define("MEDIAWIKI", 1);
51 if ( isset( $_REQUEST['GLOBALS'] ) ) {
53 die( '<a href="http://www.hardened-php.net/index.76.html">$GLOBALS overwrite vulnerability</a>');
56 require_once("./includes/Defines.php");
57 require_once("./LocalSettings.php");
58 require_once("./AdminSettings.php");
60 if (!$wgEnableProfileInfo)
63 foreach (array("wgDBadminuser", "wgDBadminpassword", "wgDBserver", "wgDBname") as $var)
65 die("AdminSettings.php not correct");
68 if (isset($_REQUEST['expand']))
69 foreach(explode(",", $_REQUEST['expand']) as $f)
78 function profile_point($name, $count, $time) {
80 $this->count
= $count;
82 $this->children
= array();
85 function add_child($child) {
86 $this->children
[] = $child;
89 function display($indent = 0.0) {
91 usort($this->children
, "compare_point");
94 if (isset($expand[$this->name()]))
98 if (count($this->children
)) {
99 $url = makeurl(false, false, $expand +
array($this->name() => true));
100 $extet = " <a href=\"$url\">[+]</a>";
104 foreach ($expand as $name => $ep)
105 if ($name != $this->name())
106 $e +
= array($name => $ep);
108 $extet = " <a href=\"" . makeurl(false, false, $e) . "\">[–]</a>";
112 <td
class="time"><tt
><?php
echo $this->fmttime() ?
></tt
></td
>
113 <td
class="count"><?php
echo $this->count() ?
></td
>
114 <td
class="name" style
="padding-left: <?php echo $indent ?>em">
115 <?php
echo htmlspecialchars($this->name()) . $extet ?
>
120 foreach ($this->children
as $child)
121 $child->display($indent +
2);
137 return sprintf("%5.02f", $this->time
);
141 function compare_point($a, $b) {
145 return strcmp($a->name(), $b->name());
147 return $a->time() > $b->time() ?
-1 : 1;
149 return $a->count() > $b->count() ?
-1 : 1;
153 $sorts = array("time", "count", "name");
155 if (isset($_REQUEST['sort']) && in_array($_REQUEST['sort'], $sorts))
156 $sort = $_REQUEST['sort'];
158 $dbh = mysql_connect($wgDBserver, $wgDBadminuser, $wgDBadminpassword)
159 or die("mysql server failed: " . mysql_error());
160 mysql_select_db($wgDBname, $dbh) or die(mysql_error($dbh));
162 SELECT pf_count, pf_time, pf_name
165 ", $dbh) or die("query failed: " . mysql_error());
167 if (isset($_REQUEST['filter']))
168 $filter = $_REQUEST['filter'];
172 <form method
="profiling.php">
174 <input type
="text" name
="filter" value
="<?php echo htmlspecialchars($filter)?>"/>
175 <input type
="hidden" name
="sort" value
="<?php echo htmlspecialchars($sort)?>"/>
176 <input type
="hidden" name
="expand" value
="<?php echo htmlspecialchars(implode(",", array_keys($expand)))?>"/>
177 <input type
="submit" value
="Filter" />
181 <table cellspacing
="0">
183 <th
><a href
="<?php echo makeurl(false, "time
") ?>">Time
</a
></th
>
184 <th
><a href
="<?php echo makeurl(false, "count
") ?>">Count
</a
></th
>
185 <th
><a href
="<?php echo makeurl(false, "name
") ?>">Name
</a
></th
>
190 function makeurl($_filter = false, $_sort = false, $_expand = false) {
191 global $filter, $sort, $expand;
193 if ($_expand === false)
196 $nfilter = $_filter ?
$_filter : $filter;
197 $nsort = $_sort ?
$_sort : $sort;
198 $exp = urlencode(implode(',', array_keys($_expand)));
199 return "?filter=$nfilter&sort=$nsort&expand=$exp";
207 while (($o = mysql_fetch_object($res)) !== false) {
208 $next = new profile_point($o->pf_name
, $o->pf_count
, $o->pf_time
);
209 $totaltime +
= $next->time();
210 if ($last !== false) {
211 if (preg_match("/^".preg_quote($last->name(), "/")."/", $next->name())) {
212 $last->add_child($next);
217 if (preg_match("/^query: /", $next->name())) {
218 $sqltotal +
= $next->time();
225 $s = new profile_point("SQL Queries", 0, $sqltotal);
226 foreach ($queries as $q)
230 usort($points, "compare_point");
232 foreach ($points as $point) {
233 if (strlen($filter) && !strstr($point->name(), $filter))
241 <p
>Total time
: <tt
><?php
printf("%5.02f", $totaltime) ?
></p
>
244 mysql_free_result($res);