Merge "exception: Improve formatting of fatal error log messages"

diff --combined includes/WebRequest.php
index 26e2d45,b3b1aa6..6f0307d
--- 1/includes/WebRequest.php
--- 2/includes/WebRequest.php
+++ b/includes/WebRequest.php
@@@ -88,7 -88,8 +88,7 @@@ class WebRequest 
         * @codeCoverageIgnore
         */
        public function __construct() {
 -              $this->requestTime = isset( $_SERVER['REQUEST_TIME_FLOAT'] )
 -                      ? $_SERVER['REQUEST_TIME_FLOAT'] : microtime( true );
 +              $this->requestTime = $_SERVER['REQUEST_TIME_FLOAT'];
  
                // POST overrides GET data
                // We don't use $_REQUEST here to avoid interference from cookies...
@@@ -269,6 -270,8 +269,8 @@@
         * @since 1.27
         */
        public static function getRequestId() {
+               // This method is called from various error handlers and should be kept simple.
+ 
                if ( !self::$reqId ) {
                        self::$reqId = isset( $_SERVER['UNIQUE_ID'] )
                                ? $_SERVER['UNIQUE_ID'] : wfRandomString( 24 );
@@@ -780,6 -783,8 +782,8 @@@
         * @return string
         */
        public static function getGlobalRequestURL() {
+               // This method is called on fatal errors; it should not depend on anything complex.
+ 
                if ( isset( $_SERVER['REQUEST_URI'] ) && strlen( $_SERVER['REQUEST_URI'] ) ) {
                        $base = $_SERVER['REQUEST_URI'];
                } elseif ( isset( $_SERVER['HTTP_X_ORIGINAL_URL'] )