2012-05-11 - production
00:56 <tstarling> synchronized php-1.20wmf2/includes/User.php 'header log' [production]