Move reporttime method from OutputPage object to a global function, let us use it...
authorAntoine Musso <hashar@users.mediawiki.org>
Sat, 24 Sep 2005 13:37:26 +0000 (13:37 +0000)
committerAntoine Musso <hashar@users.mediawiki.org>
Sat, 24 Sep 2005 13:37:26 +0000 (13:37 +0000)
includes/GlobalFunctions.php
includes/OutputPage.php

index 27d59eb..b8c6c76 100644 (file)
@@ -504,11 +504,43 @@ function wfDebugDieBacktrace( $msg = '' ) {
                } else {
                        $msg .= "\n<p>Backtrace:</p>\n$backtrace";
                }
-        }
-        echo $msg;
-        die( -1 );
+       }
+       echo $msg;
+       echo wfReportTime();
+       die( -1 );
 }
 
+       /**
+        * Returns a HTML comment with the elapsed time since request.
+        * This method has no side effects.
+        * @return string
+        */
+       function wfReportTime() {
+               global $wgRequestTime;
+
+               $now = wfTime();
+               list( $usec, $sec ) = explode( ' ', $wgRequestTime );
+               $start = (float)$sec + (float)$usec;
+               $elapsed = $now - $start;
+
+               # Use real server name if available, so we know which machine
+               # in a server farm generated the current page.
+               if ( function_exists( 'posix_uname' ) ) {
+                       $uname = @posix_uname();
+               } else {
+                       $uname = false;
+               }
+               if( is_array( $uname ) && isset( $uname['nodename'] ) ) {
+                       $hostname = $uname['nodename'];
+               } else {
+                       # This may be a virtual server.
+                       $hostname = $_SERVER['SERVER_NAME'];
+               }
+               $com = sprintf( "<!-- Served by %s in %01.2f secs. -->",
+                 $hostname, $elapsed );
+               return $com;
+       }
+
 function wfBacktrace() {
        global $wgCommandLineMode;
        if ( !function_exists( 'debug_backtrace' ) ) {
index aa46207..2c960bd 100644 (file)
@@ -505,32 +505,13 @@ class OutputPage {
        /**
         * Returns a HTML comment with the elapsed time since request.
         * This method has no side effects.
+        * Use wfReportTime() instead.
         * @return string
+        * @deprecated
         */
        function reportTime() {
-               global $wgRequestTime;
-
-               $now = wfTime();
-               list( $usec, $sec ) = explode( ' ', $wgRequestTime );
-               $start = (float)$sec + (float)$usec;
-               $elapsed = $now - $start;
-
-               # Use real server name if available, so we know which machine
-               # in a server farm generated the current page.
-               if ( function_exists( 'posix_uname' ) ) {
-                       $uname = @posix_uname();
-               } else {
-                       $uname = false;
-               }
-               if( is_array( $uname ) && isset( $uname['nodename'] ) ) {
-                       $hostname = $uname['nodename'];
-               } else {
-                       # This may be a virtual server.
-                       $hostname = $_SERVER['SERVER_NAME'];
-               }
-               $com = sprintf( "<!-- Served by %s in %01.2f secs. -->",
-                 $hostname, $elapsed );
-               return $com;
+               $time = wfReportTime();
+               return $time;
        }
 
        /**