| Index: branches/wmf/1.18wmf1/extensions/MobileFrontend/MobileFrontend.php |
| — | — | @@ -791,15 +791,14 @@ |
| 792 | 792 | private function sendApplicationVersionVaryHeader() { |
| 793 | 793 | global $wgOut, $wgRequest; |
| 794 | 794 | wfProfileIn( __METHOD__ ); |
| | 795 | + $wgOut->addVaryHeader( 'Application_Version' ); |
| 795 | 796 | if ( isset( $_SERVER['HTTP_APPLICATION_VERSION'] ) ) { |
| 796 | | - $wgRequest->response()->header( 'Application_Version: ' . $_SERVER['HTTP_APPLICATION_VERSION'] ); |
| 797 | | - $wgOut->addVaryHeader( 'Application_Version' ); |
| | 797 | + $wgRequest->response()->header( 'Application_Version: ' . $_SERVER['HTTP_APPLICATION_VERSION'] ); |
| 798 | 798 | } else { |
| 799 | 799 | if ( isset( $_SERVER['HTTP_X_DEVICE'] ) ) { |
| 800 | 800 | if ( stripos( $_SERVER['HTTP_X_DEVICE'], 'iphone' ) !== false || |
| 801 | 801 | stripos( $_SERVER['HTTP_X_DEVICE'], 'android' ) !== false ) { |
| 802 | 802 | $wgRequest->response()->header( 'Application_Version: ' . $_SERVER['HTTP_X_DEVICE'] ); |
| 803 | | - $wgOut->addVaryHeader( 'Application_Version' ); |
| 804 | 803 | } |
| 805 | 804 | } |
| 806 | 805 | } |