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