2009-07-10 - production
19:58	<azafred>	synchronized php-1.5/CommonSettings.php 'removed border=0 from wgCopyrightIcon'	[production]