(bug 43218) Fixing PHP notice: undefined SERVER_PROTOCOL key

Change-Id: I1ce7605a7c8503aed37ed9b3e7c3f3c13083db6f

diff --git a/includes/OutputHandler.php b/includes/OutputHandler.php
index 78435e4..abf091e 100644 (file)
--- a/includes/OutputHandler.php
+++ b/includes/OutputHandler.php
@@ -156,7 +156,7 @@ function wfMangleFlashPolicy( $s ) {
  * @param $length int
  */
 function wfDoContentLength( $length ) {
-       if ( !headers_sent() && $_SERVER['SERVER_PROTOCOL'] == 'HTTP/1.0' ) {
+       if ( !headers_sent() && isset( $_SERVER['SERVER_PROTOCOL'] ) && $_SERVER['SERVER_PROTOCOL'] == 'HTTP/1.0' ) {
                header( "Content-Length: $length" );
        }
 }