2011-07-08 - production
02:33	<Tim>	updated wikimedia-task-appserver manually on searchidx1, searchidx2, fenari, hume. Manually removed the php.ini-dist diversion on searchidx1, see CR r76095	[production]