2011-02-23 - production
15:39	<catrope>	synchronized php-1.17/wmf-config/InitialiseSettings.php 'Enable $wgHtml5 on all wikis'	[production]