2009-03-20 - production
18:32	<jeluf>	synchronized php-1.5/InitialiseSettings.php '15880 Pseudo-Namespace on Korean Wikipedia'	[production]