wmflabs still runs PHP 5.3 :x