Fix notice error on UA check when no user-agent header sent

diff --git a/includes/OutputPage.php b/includes/OutputPage.php
index 667cd78..2597557 100644 (file)
--- a/includes/OutputPage.php
+++ b/includes/OutputPage.php
@@ -91,7 +91,8 @@ class OutputPage {
                        wfDebug( "CACHE DISABLED\n", false );
                        return;
                }
-               if( preg_match( '/MSIE ([1-4]|5\.0)/', $_SERVER["HTTP_USER_AGENT"] ) ) {
+               if( isset( $_SERVER["HTTP_USER_AGENT"] ) &&
+                   preg_match( '/MSIE ([1-4]|5\.0)/', $_SERVER["HTTP_USER_AGENT"] ) ) {
                        # IE 5.0 has probs with our caching
                        wfDebug( "-- bad client, not caching\n", false );
                        return;