2013-05-07 - production
00:02 <bsitu> synchronized php-1.22wmf3/includes/Skin.php 'Adding GetNewMessagesAlert hook and wgUserNewMsgRevisionId JS global' [production]