2016-03-11 - production
01:04	<MaxSem>	Made mediawiki/php/wikidiff read-only in Gerrit	[production]