2012-05-18 - releng
14:49	<hashar>	/home/wikipedia/common/php-trunk now tracks mediawiki/core.git , branch master. So a simple 'git pull' will update it!	[releng]