2012-10-01 - production
12:34	<Reedy>	Make that, deleting wmf10 php source files	[production]