2014-08-22 - production
18:10	<ori>	updated /a/common to {{Gerrit|I338d72a47}}: Do not define MEDIAWIKI before loading WebStart.php	[production]