Removed some messages that are on ignore list:

[lhc/web/wiklou.git] / profileinfo.php
diff --git a/profileinfo.php b/profileinfo.php

index 36ef14d..388e0cd 100644 (file)
--- a/profileinfo.php
+++ b/profileinfo.php
@@ -21,7 +21,6 @@
       OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
       SOFTWARE.
  
-     $Id$
  -->
  <html>
  <head>
@@ -45,20 +44,19 @@
  <body>
  <?php
  
-$wgDBadminuser = $wgDBadminpassword = $wgDBserver = $wgDBname = false;
+$wgDBadminuser = $wgDBadminpassword = $wgDBserver = $wgDBname = $wgEnableProfileInfo = false;
  
-define("MEDIAWIKI", 1);
-
-require_once("./includes/Defines.php");
-require_once("./LocalSettings.php");
+define( 'MW_NO_SETUP', 1 );
+require_once( './includes/WebStart.php' );
  require_once("./AdminSettings.php");
  
-if (!$wgEnableProfileInfo)
-       die("disabled");
+if (!$wgEnableProfileInfo) {
+       wfDie("disabled");
+}
  
  foreach (array("wgDBadminuser", "wgDBadminpassword", "wgDBserver", "wgDBname") as $var)
         if ($$var === false)
-               die("AdminSettings.php not correct");
+               wfDie("AdminSettings.php not correct");
  
  $expand = array();
  if (isset($_REQUEST['expand']))
@@ -152,13 +150,13 @@ 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));
+       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 die("query failed: " . mysql_error());
+", $dbh) or wfDie("query failed: " . mysql_error());
  
  if (isset($_REQUEST['filter']))
         $filter = $_REQUEST['filter'];
@@ -196,6 +194,8 @@ function makeurl($_filter = false, $_sort = false, $_expand = false) {
  }
  
  $points = array();
+$queries = array();
+$sqltotal = 0.0;
  
  $last = false;
  while (($o = mysql_fetch_object($res)) !== false) {
@@ -208,9 +208,19 @@ while (($o = mysql_fetch_object($res)) !== false) {
                 }
         }
         $last = $next;
-       $points[] = $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) {
@@ -230,4 +240,4 @@ mysql_close($dbh);
  
  ?>
  </body>
-</html:
+</html>