2011-07-30 - production
23:48	<reedy>	synchronized php-1.17/extensions/MobileFrontend/MobileFrontend.php 'htmlspecialchars url'	[production]