X-Git-Url: https://git.heureux-cyclage.org/?a=blobdiff_plain;f=profileinfo.php;h=37e7a04a8e22d2dc14d7961d934d681a5b708aa0;hb=9cccde6485c0737a24c580e91f2e46cea00aabc7;hp=f81462c8c94d748a036e663a475ae0fc1cc175fc;hpb=3791c6e5e013b16ae1096a64985727134f80ab04;p=lhc%2Fweb%2Fwiklou.git
diff --git a/profileinfo.php b/profileinfo.php
index f81462c8c9..37e7a04a8e 100644
--- a/profileinfo.php
+++ b/profileinfo.php
@@ -1,28 +1,43 @@
-
+
Profiling data
@@ -37,32 +52,46 @@
padding-right: 0.5em;
}
- td.time, td.count {
+ td.timep, td.memoryp, td.count, td.cpr, td.tpc, td.mpc, td.tpr, td.mpr {
text-align: right;
}
+ td.timep, td.tpc, td.tpr {
+ background-color: #fffff0;
+ }
+ td.memoryp, td.mpc, td.mpr {
+ background-color: #f0f8ff;
+ }
+ td.count, td,cpr {
+ background-color: #f0fff0;
+ }
+ td.name {
+ background-color: #f9f9f9;
+ }
Disabled\n";
+ echo "";
+ exit( 1 );
+}
-if (!$wgEnableProfileInfo)
- die("disabled");
+$dbr = wfGetDB( DB_SLAVE );
-foreach (array("wgDBadminuser", "wgDBadminpassword", "wgDBserver", "wgDBname") as $var)
- if ($$var === false)
- die("AdminSettings.php not correct");
+if( !$dbr->tableExists( 'profileinfo' ) ) {
+ echo "No 'profileinfo' table exists, so we can't show you anything.
\n";
+ echo "If you want to log profiling data, create the table using "
+ . "maintenance/archives/patch-profiling.sql and enable "
+ . "\$wgProfileToDatabase.
\n";
+ echo "