| Index: branches/wmf/1.19wmf1/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 | /** |
| Property changes on: branches/wmf/1.19wmf1/extensions/MobileFrontend |
| ___________________________________________________________________ |
| Modified: svn:mergeinfo |
| 1527 | 1528 | Merged /trunk/extensions/MobileFrontend:r114384 |