| Index: branches/wmf/1.18wmf1/extensions/MobileFrontend/MobileFrontend.php |
| — | — | @@ -689,6 +689,7 @@ |
| 690 | 690 | $wgRequest->response()->header( 'X-Device: ' . $_SERVER['HTTP_X_DEVICE'] ); |
| 691 | 691 | $wgOut->addVaryHeader( 'X-Device' ); |
| 692 | 692 | } |
| | 693 | + $wgOut->addVaryHeader( 'Cookie' ); |
| 693 | 694 | wfProfileOut( __METHOD__ ); |
| 694 | 695 | } |
| 695 | 696 | |