| Index: trunk/extensions/MobileFrontend/MobileFrontend.body.php |
| — | — | @@ -1520,6 +1520,7 @@ |
| 1521 | 1521 | // so we can ignore $wgCookieHttpOnly since the protection it provides |
| 1522 | 1522 | // is irrelevant for this cookie. |
| 1523 | 1523 | setcookie( self::$useFormatCookieName, $useFormat, $expiry, $wgCookiePath, $wgCookieDomain, $wgCookieSecure ); |
| | 1524 | + wfIncrStats( 'mobile.useformat_' . $useFormat . '_cookie_set' ); |
| 1524 | 1525 | } |
| 1525 | 1526 | |
| 1526 | 1527 | /** |