(bug 43218) Fixing PHP notice: undefined SERVER_PROTOCOL key

Change-Id: I1ce7605a7c8503aed37ed9b3e7c3f3c13083db6f
This commit is contained in:
Dereckson 2012-12-18 01:31:03 +01:00
parent 933869c7ef
commit 7276fd4d90

View file

@ -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" );
}
}