2012-08-31 - releng
13:04	<wm-bot>	ran git pull in /home/wikipedia/common/php/extensions , bringing up a ton of forgotten exts. Will update autoupdater	[releng]