2012-05-16 - production
01:10	<reedy>	synchronized php-1.20wmf3/extensions/RandomRootPage 'dark deploy randomrootpage extension (I'll enable it later)'	[production]