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